Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
org
ltlcross.org
Find file
Blame
History
Permalink
org: fix the example for ltlcross --verbose
· 427c6969
Alexandre Duret-Lutz
authored
Oct 15, 2017
* doc/org/ltlcross.org: Use SPOT_HOA_TOLERANT=1 to work around a bug in ltl3ba -H1.
427c6969