Parsing of comments is wrong

VerifAPS / stvs

StructuredText Verification Studio

http://formal.iti.kit.edu/stvs

GNU General Public License v3.0

9 stars 0 forks source link

Parsing of comments is wrong #34

Closed mattulbrich closed 7 years ago

mattulbrich commented 7 years ago

Currently, comments are parsed beyond their end if there is a closing comment later. I assume that greedy matching takes place here where it should not.

bildschirmfoto_2017-06-26_15-02-42

wadoon commented 7 years ago

grafik