Skip to content
Snippets Groups Projects
Commit d56a6b1d authored by Edward Sabinus's avatar Edward Sabinus
Browse files

changed possible errrors to non deadly in both proof listener; Added test... 

changed possible errrors to non deadly in both proof listener; Added test cases for all non deadly semantic errors. TODO: employ those tests in the test manager (some of the tests may be impossible to test due to syntax error from antlr)
parent 4cf19d67
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 555 additions and 47 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment