Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
ltlsynt.cc
Find file
Blame
History
Permalink
ltlsynt: Add -x option for translation
· 7c09f64c
Florian Renkin
authored
May 23, 2020
and
Alexandre Duret-Lutz
committed
Jul 13, 2020
* bin/ltlsynt.cc: ltlsynt can use extra options for translator.
7c09f64c