Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
tests
core
ltl2dstar.test
Find file
Blame
History
Permalink
adjust test case to work with ltl2dstar 0.5.4
· 62b86d30
Alexandre Duret-Lutz
authored
Mar 01, 2018
* tests/core/ltl2dstar.test: Here.
62b86d30