Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltlparse
ltlscan.ll
Find file
Blame
History
Permalink
ltlparse: allow comments
· f9e859d7
Alexandre Duret-Lutz
authored
Dec 11, 2014
* src/ltlparse/ltlscan.ll: Skip comments. * src/ltltest/ltlfilt.test: Test this. * NEWS: Mention it.
f9e859d7