-
Alexandre Duret-Lutz authored
* src/ltlparse/ltlscan.ll: Recognize "[]=>" (a.k.a "|=>") and "<>=>". * src/ltlparse/ltlparse.yy: Support them by rewriting them using "[]->" and "<>->". * src/tgbatest/ltl2tgba.test: More tests.
4bde130d
* src/ltlparse/ltlscan.ll: Recognize "[]=>" (a.k.a "|=>") and "<>=>". * src/ltlparse/ltlparse.yy: Support them by rewriting them using "[]->" and "<>->". * src/tgbatest/ltl2tgba.test: More tests.