src/tgbatest/Makefile.am · 081aa0d12069db6e546fd4020288049c6c3c862d · Spot / Spot

tgbatest: Rewrite ltl2neverclaim using ltlcross. · 081aa0d1

Alexandre Duret-Lutz authored Jan 10, 2013

* src/tgbatest/ltl2neverclaim.test: Rename as...
* src/tgbatest/ltl2neverclaim-lbtt.test: ... this.
* src/tgbatest/ltl2neverclaim.test: New version, using ltlcross.
* src/tgbatest/Makefile.am: Add ltl2neverclaim-lbtt.test.

081aa0d1