alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/buddy/examples/bddtest
History
Exact
Alexandre Duret-Lutz ece7631e8c [buddy] fix a spurious failure 
* examples/bddtest/bddtest.cxx: reset some global BDDs to avoid
issues when they are destroyed after BuDDy.
2021-11-04 23:19:31 +01:00
..
.gitignore Add .gitignore files 2008-03-14 16:59:32 +01:00
bddtest.cxx [buddy] fix a spurious failure 2021-11-04 23:19:31 +01:00
Makefile.am [buddy] execute some of the tests during "make check" 2021-11-04 15:24:10 +01:00