Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
ltl2tgba.test
Find file
Blame
History
Permalink
* src/tgbatest/ltl2tgba.test: Test both -l and -f. This should
· 7627b967
Alexandre Duret-Lutz
authored
Nov 25, 2010
have been done on 2010-01-30 when the default translation was changed from -l to -f.
7627b967