Skip to content
  • Alexandre Duret-Lutz's avatar
    Fix two spurious segfaults in test cases for the Python interface. · 9ad062b2
    Alexandre Duret-Lutz authored
    * 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.
    9ad062b2
To find the state of this project's repository at the time of any of these versions, check out the tags.