Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
bin
common_trans.cc
Find file
Blame
History
Permalink
bin: Use --output-format=hoa by default when calling ltl2dstar
· 62989184
Alexandre Duret-Lutz
authored
Jun 02, 2015
* src/bin/common_trans.cc: Here. * doc/org/ltlcross.org: Adjust examples.
62989184