Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
ltl2dstar2.test
Find file
Blame
History
Permalink
use ltl2tgba -Ds instead of ltl2tgba -sD in the test suite
· f3f43051
Alexandre Duret-Lutz
authored
Jan 13, 2015
Because -s can now take arguments. * src/tgbatest/ltl2dstar2.test: Here.
f3f43051