Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tests
ltlcross3.test
Find file
Blame
History
Permalink
ltlcross: add --automata option
· ae0f0d5f
Alexandre Duret-Lutz
authored
May 25, 2015
* src/bin/ltlcross.cc: Implement it. * src/tests/ltlcross3.test: Use it. * NEWS: Mention it.
ae0f0d5f