Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tests
ltlfilt.test
Find file
Blame
History
Permalink
bin: add -0 option for LTL output
· e0267662
Alexandre Duret-Lutz
authored
May 11, 2015
* src/bin/common_output.cc: Add option -0. * src/tests/ltlfilt.test: Test it. * NEWS: Document it.
e0267662