Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
iface
dve2
dve2check.cc
Find file
Blame
History
Permalink
* iface/dve2/dve2check.cc (main): Catch out-of-memory errors
· 0368d653
Alexandre Duret-Lutz
authored
Apr 06, 2011
during emptiness check or counterexample generation.
0368d653