Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
ltlsynt.cc
Find file
Blame
History
Permalink
ltlsynt: Change default options
· 56c8d690
Florian Renkin
authored
May 23, 2020
and
Alexandre Duret-Lutz
committed
Jul 13, 2020
* bin/ltlsynt.cc: Change default options. * tests/core/ltlsynt.test: Add test.
56c8d690