Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
iface
dve2
dve2check.cc
Find file
Blame
History
Permalink
Augment dve2check to perform LTL model checking.
· 8ce39e09
Alexandre Duret-Lutz
authored
Mar 06, 2011
* iface/dve2/dve2check.cc: Add many option to perform emptiness check and other debugging tasks.
8ce39e09