search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Bar semicolons from identifiers #13

Closed alex-ozdemir closed 5 years ago

alex-ozdemir commented 5 years ago

Before, a sequence like

  myIdent;

would parse as the identifier "myIdent;".

I would argue that the ";" is the start of a comment, so the identifier should be "myIdent".

This is fixed now.

I also added a test for this situation.