search

Alex23087 / Failure-SSIL-Analyser

GNU General Public License v3.0
1 stars 3 forks source link

Tests for the parser #30

Closed jfet97 closed 4 months ago

jfet97 commented 5 months ago

A series of tests to debug the implementation of the parser has to be written. This includes both tests for the regular commands part and for the logic part.

The tests should compare the result of running the parser on a code snippet with the expected parse tree. Examples are placed in lib/parser_lexer/tests/commands and lib/parser_lexer/tests/formulae. Please follow this format and place the other tests in these two folders.

Since the output trees will be annotated with a position, please use the parser_command and parse_formula functions in the utils.ml file, which will remove all annotations from the ASTs. Remember to also use dummy_position in the annotations when you are defining the expected results, to avoid spurious test failures.

Alex23087 commented 5 months ago

Description updated

Yurand2000 commented 4 months ago

Already merged in the branch Analysis, all the code will be reviewed there before merging into the main branch.