Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tests
ltldo2.test
Find file
Blame
History
Permalink
* src/tests/ltldo2.test: Honor $LTL2BA.
· f7c4ca81
Alexandre Duret-Lutz
authored
Oct 24, 2015
f7c4ca81