Module: ppl/ppl Branch: master Commit: 037c5b2d0a722ad6c36d8bc7f3504b0f84d7781b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=037c5b2d0a722... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Wed Apr 14 07:53:21 2010 +0100 Fixed a bug in the all_affine_ranking_functions*_Grid* tests in Prolog interface. --- ...face_generator_prolog_generated_test_pl_code.m4 | 24 +++++-------------- 1 files changed, 7 insertions(+), 17 deletions(-) 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 5afde30..b62dbb8 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 @@ -1861,14 +1861,9 @@ ppl_all_affine_ranking_functions_@TERMINATION_ID@_@TOPOLOGY@@CLASS@_2_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@_concatenate_assign(PS1, PS2), - (ppl_all_affine_ranking_functions_@TERMINATION_ID@_@TOPOLOGY@@CLASS@(PS1, - Ph) - -> - true - ; - true - ), - ppl_@CLASS@_OK(Ph), + ppl_all_affine_ranking_functions_@TERMINATION_ID@_@TOPOLOGY@@CLASS@(PS1, + Ph), + ppl_Polyhedron_OK(Ph), ppl_@CLASS@_OK(PS1), ppl_@CLASS@_OK(PS2), ppl_delete_@CLASS@(PS1), @@ -1889,15 +1884,10 @@ ppl_all_affine_ranking_functions_@TERMINATION_ID@_@TOPOLOGY@@CLASS@_2_2_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@_concatenate_assign(PS1, PS2), - (ppl_all_affine_ranking_functions_@TERMINATION_ID@_@TOPOLOGY@@CLASS@_2(PS2, - PS1, - Ph) - -> - true - ; - true - ), - ppl_@CLASS@_OK(Ph), + ppl_all_affine_ranking_functions_@TERMINATION_ID@_@TOPOLOGY@@CLASS@_2(PS2, + PS1, + Ph), + ppl_Polyhedron_OK(Ph), ppl_@CLASS@_OK(PS1), ppl_@CLASS@_OK(PS2), ppl_delete_@CLASS@(PS1),