Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Error recovery #2033

Closed
wants to merge 127 commits into from

Fixed recovery checking

3572860
Select commit
Loading
Failed to load commit list.
Closed

Error recovery #2033

Fixed recovery checking
3572860
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Oct 4, 2024 in 1s

41% of diff hit (target 49%)

View this Pull Request on Codecov

41% of diff hit (target 49%)

Annotations

Check warning on line 992 in src/org/rascalmpl/interpreter/Evaluator.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/interpreter/Evaluator.java#L992 

Added line #L992 was not covered by tests

Check warning on line 2385 in src/org/rascalmpl/library/Prelude.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/library/Prelude.java#L2385 

Added line #L2385 was not covered by tests

Check warning on line 2393 in src/org/rascalmpl/library/Prelude.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/library/Prelude.java#L2393 

Added line #L2393 was not covered by tests

Check warning on line 2397 in src/org/rascalmpl/library/Prelude.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/library/Prelude.java#L2397 

Added line #L2397 was not covered by tests

Check warning on line 2423 in src/org/rascalmpl/library/Prelude.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/library/Prelude.java#L2423 

Added line #L2423 was not covered by tests

Check warning on line 87 in src/org/rascalmpl/library/util/TermREPL.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/library/util/TermREPL.java#L87 

Added line #L87 was not covered by tests

Check warning on line 98 in src/org/rascalmpl/library/util/TermREPL.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/library/util/TermREPL.java#L98 

Added line #L98 was not covered by tests

Check warning on line 328 in src/org/rascalmpl/library/util/TermREPL.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/library/util/TermREPL.java#L328 

Added line #L328 was not covered by tests

Check warning on line 197 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L197 

Added line #L197 was not covered by tests

Check warning on line 206 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L206 

Added line #L206 was not covered by tests

Check warning on line 209 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L209 

Added line #L209 was not covered by tests

Check warning on line 250 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L249-L250 

Added lines #L249 - L250 were not covered by tests

Check warning on line 345 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L344-L345 

Added lines #L344 - L345 were not covered by tests

Check warning on line 357 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L356-L357 

Added lines #L356 - L357 were not covered by tests

Check warning on line 363 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L363 

Added line #L363 was not covered by tests

Check warning on line 366 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L366 

Added line #L366 was not covered by tests

Check warning on line 472 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L471-L472 

Added lines #L471 - L472 were not covered by tests

Check warning on line 486 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L485-L486 

Added lines #L485 - L486 were not covered by tests

Check warning on line 507 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L507 

Added line #L507 was not covered by tests

Check warning on line 520 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L520 

Added line #L520 was not covered by tests

Check warning on line 534 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L533-L534 

Added lines #L533 - L534 were not covered by tests

Check warning on line 540 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L540 

Added line #L540 was not covered by tests

Check warning on line 578 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L578 

Added line #L578 was not covered by tests

Check warning on line 623 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L623 

Added line #L623 was not covered by tests

Check warning on line 694 in src/org/rascalmpl/parser/gtd/SGTDBF.java

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/org/rascalmpl/parser/gtd/SGTDBF.java#L694 

Added line #L694 was not covered by tests
View more details on Codecov