alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/wrap/python/tests
History
Alexandre Duret-Lutz 9ad062b247 Fix two spurious segfaults in test cases for the Python interface. 
* wrap/python/tests/setxor.py, wrap/python/tests/bddnqueen.py:
Clean all used bdd variables before calling bdd_done(), so that
bdd_delref() is never called after bdd_done().  In NDEBUG builds,
bdd_delref() does not check whether the BuDDy is running or not,
and calling it after bdd_done() will crash.
2011-04-09 17:33:42 +02:00
..
.cvsignore * configure.ac: Output wrap/python/tests/Makefile 2003-07-31 20:04:29 +00:00
.gitignore Add .gitignore files 2008-03-14 16:59:32 +01:00
bddnqueen.py Fix two spurious segfaults in test cases for the Python interface. 2011-04-09 17:33:42 +02:00
interdep.py Get rid of ltihooks.py. 2010-12-24 10:28:47 +01:00
ltl2tgba.py Get rid of ltihooks.py. 2010-12-24 10:28:47 +01:00
ltl2tgba.test * COPYING: New file. 2003-11-21 15:54:25 +00:00
ltlparse.py Get rid of ltihooks.py. 2010-12-24 10:28:47 +01:00
ltlsimple.py Get rid of ltihooks.py. 2010-12-24 10:28:47 +01:00
Makefile.am Add interface for and test the bdd_setxor() function added to Buddy. 2010-11-07 11:15:56 +01:00
minato.py Get rid of ltihooks.py. 2010-12-24 10:28:47 +01:00
modgray.py Get rid of ltihooks.py. 2010-12-24 10:28:47 +01:00
optionmap.py Get rid of ltihooks.py. 2010-12-24 10:28:47 +01:00
run.in Enable VERBOSE logs for nips, greatspn, and python tests. 2011-02-10 12:58:16 +01:00
setxor.py Fix two spurious segfaults in test cases for the Python interface. 2011-04-09 17:33:42 +02:00