Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bench
ltl2tgba
formulae.ltl
Find file
Blame
History
Permalink
* bench/ltl2tgba/formulae.ltl: Fix three formulae to match the
· cc66aff6
Alexandre Duret-Lutz
authored
Mar 06, 2010
original paper by Somenzi and Bloem. Reported by Ruediger Ehlers.
cc66aff6