Romain Beguet f948e2271a VB22-027: Fix potential leak when resolution fails early in backjumping routine. ...

The backjumping clause that we set up was not free'd in the early return path
of the Backjump routine.

Also, rename some of the test case files to simplify further copies.

2023-01-20 14:54:21 +01:00

..

tests

VB22-027: Fix potential leak when resolution fails early in backjumping routine.

2023-01-20 14:54:21 +01:00

testsuite.py

Testsuite: add a mode to run tests under Valgrind

2023-01-12 14:35:58 +00:00