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

..

prj.gpr

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

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

test.adb

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

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

test.out

Setup e3-testsuite.

2022-11-10 16:11:20 +01:00

test.yaml

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

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