-
* bench/dtgbasat/formulas: Fix bin's path. * bench/dtgbasat/prepare.sh: Fix bin's path & ltl2tgba@-sD option. * bench/dtgbasat/stats.sh: Fix bin's path. * bench/dtgbasat/stat.sh: Fix bin's path, ltl2tgba@-sD option
ba4345a4
* bench/dtgbasat/formulas: Fix bin's path. * bench/dtgbasat/prepare.sh: Fix bin's path & ltl2tgba@-sD option. * bench/dtgbasat/stats.sh: Fix bin's path. * bench/dtgbasat/stat.sh: Fix bin's path, ltl2tgba@-sD option