Module: ppl/ppl Branch: master Commit: 11f7c4080b52e6a367570efce22140db9f4e98d3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f7c4080b52e...
Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Mar 18 14:16:15 2010 +0000
Avoid leakage when exiting a test.
---
interfaces/Prolog/tests/pl_check.pl | 1 + ...face_generator_prolog_generated_test_pl_code.m4 | 16 ++++++++++++---- 2 files changed, 13 insertions(+), 4 deletions(-)
diff --git a/interfaces/Prolog/tests/pl_check.pl b/interfaces/Prolog/tests/pl_check.pl index 499b270..22b08d3 100644 --- a/interfaces/Prolog/tests/pl_check.pl +++ b/interfaces/Prolog/tests/pl_check.pl @@ -1969,6 +1969,7 @@ compute_timeout_hypercube(Hsecs, T, Dim_in, Dim_out, CS_out) :- ppl_reset_timeout, (Catch_Exception == ok -> Dim_out = Dim_in, + ppl_delete_Polyhedron(P), CS_out = CS ; Dim1 is Dim_in+1, diff --git a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 index 152d817..fae715e 100644 --- a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 +++ b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 @@ -609,8 +609,12 @@ ppl_@CLASS@_linear_@PARTITION@_4_test :- ( ppl_@TOPOLOGY@@CLASS@_build_test_object(TEST_DATA1, PS1, Space_Dim), ppl_@TOPOLOGY@@CLASS@_build_test_object(TEST_DATA2, PS2, Space_Dim), - ppl_@CLASS@_linear_partition(PS1, PS2, PS3, _PPS), - ppl_@CLASS@_OK(PS3) + ppl_@CLASS@_linear_partition(PS1, PS2, PS3, PPS), + ppl_@CLASS@_OK(PS3), + ppl_delete_@CLASS@(PS1), + ppl_delete_@CLASS@(PS2), + ppl_delete_@CLASS@(PS3), + ppl_delete_Pointset_Powerset_NNC_Polyhedron(PPS) -> fail ; (class_@CLASS@ == class_BD_Shape_int8_t -> fail ; true)) ). @@ -625,8 +629,12 @@ ppl_@CLASS@_approximate_@PARTITION@_4_test :- ( ppl_@CLASS@_build_test_object(TEST_DATA1, PS1, Space_Dim), ppl_@CLASS@_build_test_object(TEST_DATA2, PS2, Space_Dim), - ppl_@CLASS@_approximate_partition(PS1, PS2, PS3, _PPS, _Is_finite), - ppl_@CLASS@_OK(PS3) + ppl_@CLASS@_approximate_partition(PS1, PS2, PS3, PPS, _Is_finite), + ppl_@CLASS@_OK(PS3), + ppl_delete_@CLASS@(PS1), + ppl_delete_@CLASS@(PS2), + ppl_delete_@CLASS@(PS3), + ppl_delete_Pointset_Powerset_NNC_Polyhedron(PPS) -> fail ; (class_@CLASS@ == class_BD_Shape_int8_t -> fail ; true)) ).