src/ltlparse/ltlscan.ll · d9cd704bcb502f28472f73d3cd01eed43f65c08d · Spot / Spot · GitLab

Apr 18, 2003
d9cd704b
* src/ltlparse/ltlscan.ll: Recognize && and ||. · d9cd704b
Alexandre Duret-Lutz authored Apr 18, 2003
```
* src/ltltest/parse.test, src/ltltest/parseerr.test,
src/ltltest/equals.test: Use these operators..
```
d9cd704b
* src/ltlparse/ltlscan.ll: Recognize && and ||.
Alexandre Duret-Lutz authored Apr 18, 2003
```
* src/ltltest/parse.test, src/ltltest/parseerr.test,
src/ltltest/equals.test: Use these operators..
```