From ece7631e8c32a12e9ad4059cb700ab2e3e9c7d63 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 4 Nov 2021 23:19:31 +0100
Subject: [PATCH] [buddy] fix a spurious failure

* examples/bddtest/bddtest.cxx: reset some global BDDs to avoid
issues when they are destroyed after BuDDy.
---
 buddy/examples/bddtest/bddtest.cxx | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/buddy/examples/bddtest/bddtest.cxx b/buddy/examples/bddtest/bddtest.cxx
index 79d9ef85d..69c454b74 100644
--- a/buddy/examples/bddtest/bddtest.cxx
+++ b/buddy/examples/bddtest/bddtest.cxx
@@ -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;