[PPL-devel] [GIT] ppl/ppl(master): Fixed a bug in the all_affine_ranking_functions*_Grid* tests

[Patricia Hill]

Module: ppl/ppl
Branch: master
Commit: 037c5b2d0a722ad6c36d8bc7f3504b0f84d7781b
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=037c5b2d0a722ad6c36d8bc7f3504b0f84d7781b

Author: Patricia Hill <p.m.hill at 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_ at TERMINATION_ID@_ at TOPOLOGY@@CLASS at _2_test :-
      ppl_ at TOPOLOGY@@CLASS at _build_test_object(TEST_DATA1, PS1, Space_Dim),
      ppl_ at TOPOLOGY@@CLASS at _build_test_object(TEST_DATA2, PS2, Space_Dim),
      ppl_ at CLASS@_concatenate_assign(PS1, PS2),
-     (ppl_all_affine_ranking_functions_ at TERMINATION_ID@_ at TOPOLOGY@@CLASS@(PS1,
-                                                                          Ph)
-     ->
-        true
-     ;
-        true
-     ),
-     ppl_ at CLASS@_OK(Ph),
+     ppl_all_affine_ranking_functions_ at TERMINATION_ID@_ at TOPOLOGY@@CLASS@(PS1,
+                                                                         Ph),
+     ppl_Polyhedron_OK(Ph),
      ppl_ at CLASS@_OK(PS1),
      ppl_ at CLASS@_OK(PS2),
      ppl_delete_ at CLASS@(PS1),
@@ -1889,15 +1884,10 @@ ppl_all_affine_ranking_functions_ at TERMINATION_ID@_ at TOPOLOGY@@CLASS at _2_2_test :-
      ppl_ at TOPOLOGY@@CLASS at _build_test_object(TEST_DATA1, PS1, Space_Dim),
      ppl_ at TOPOLOGY@@CLASS at _build_test_object(TEST_DATA2, PS2, Space_Dim),
      ppl_ at CLASS@_concatenate_assign(PS1, PS2),
-     (ppl_all_affine_ranking_functions_ at TERMINATION_ID@_ at TOPOLOGY@@CLASS at _2(PS2,
-                                                                            PS1,
-                                                                            Ph)
-     ->
-        true
-     ;
-        true
-     ),
-     ppl_ at CLASS@_OK(Ph),
+     ppl_all_affine_ranking_functions_ at TERMINATION_ID@_ at TOPOLOGY@@CLASS at _2(PS2,
+                                                                           PS1,
+                                                                           Ph),
+     ppl_Polyhedron_OK(Ph),
      ppl_ at CLASS@_OK(PS1),
      ppl_ at CLASS@_OK(PS2),
      ppl_delete_ at CLASS@(PS1),