Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tests
ltl2dstar.test
Find file
Blame
History
Permalink
* src/tests/ltl2dstar.test: Fix for recent change to ltlcross.
· 9c922252
Alexandre Duret-Lutz
authored
Aug 21, 2015
9c922252