Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
bin
ltlcheck.cc
Find file
Blame
History
Permalink
ltlcheck: do not check duplicate formulas
· 2977635a
Alexandre Duret-Lutz
authored
Oct 15, 2012
* src/bin/ltlcheck.cc: filter duplicate formulas, unless the new --allow-dups option is used.
2977635a