-
Alexandre Duret-Lutz authored
They were not updated since we moved binaries around in Spot 2.0. Let them use ltl2tgba directly. * bench/ltlclasses/plot.gnu, bench/ltlclasses/run, bench/ltlcounter/plot.gnu, bench/ltlcounter/run: Adjust.
98e7e4e4
They were not updated since we moved binaries around in Spot 2.0. Let them use ltl2tgba directly. * bench/ltlclasses/plot.gnu, bench/ltlclasses/run, bench/ltlcounter/plot.gnu, bench/ltlcounter/run: Adjust.