Commit ece7631e authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

[buddy] fix a spurious failure

* examples/bddtest/bddtest.cxx: reset some global BDDs to avoid
issues when they are destroyed after BuDDy.
parent 7ade9794
Pipeline #31008 canceled with stages
in 22 minutes and 59 seconds
......@@ -151,6 +151,9 @@ int main()
test1();
// only global constants (false or true)
// can survive after bdd_done().
allsatBDD = allsatSumBDD = bddfalse;
bdd_done();
return err;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment