search

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)
GNU General Public License v3.0
4 stars 0 forks source link

trailing characters are ignored by parser #160

Closed mattulbrich closed 4 years ago

mattulbrich commented 4 years ago

There are cases where symbols beyond a sequent do not make parsing fail.

b1 |- b1 ;
b1 |- b1 ,

for instance is parsed without the semicolon/comma.

A test case has been added to reveal the problem.