[PPL-devel] [GIT] ppl/ppl(master): Added tests in the Prolog interface for

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu Apr 15 20:17:12 2010 +0100

Added tests in the Prolog interface for
ppl_all_affine_quasi_ranking_functions_MS_*

---

 ...face_generator_prolog_generated_test_pl_code.m4 |   47 ++++++++++++++++++++
 1 files changed, 47 insertions(+), 0 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 b62dbb8..ea15f91 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
@@ -1898,4 +1898,51 @@ ppl_all_affine_ranking_functions_ at TERMINATION_ID@_ at TOPOLOGY@@CLASS at _2_2_test :-
 
 ')
 
+m4_define(
+  `ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS at _code',
+`
+ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS at _3_test :-
+  (
+   choose_2_tests(TEST_DATA1, TEST_DATA2, Space_Dim),
+   (
+     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_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS@(PS1, Ph1, Ph2),
+     ppl_Polyhedron_OK(Ph1),
+     ppl_Polyhedron_OK(Ph2),
+     ppl_ at CLASS@_OK(PS1),
+     ppl_ at CLASS@_OK(PS2),
+     ppl_delete_ at CLASS@(PS1),
+     ppl_delete_ at CLASS@(PS2)
+   ->
+    fail ; true)
+  ).
+
+')
+
+m4_define(
+  `ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS at _2_code',
+`
+ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS at _2_4_test :-
+  (
+   choose_2_tests(TEST_DATA1, TEST_DATA2, Space_Dim),
+   (
+     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_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS at _2(PS2, PS1,
+                                                                   Ph1, Ph2),
+     ppl_Polyhedron_OK(Ph1),
+     ppl_Polyhedron_OK(Ph2),
+     ppl_ at CLASS@_OK(PS1),
+     ppl_ at CLASS@_OK(PS2),
+     ppl_delete_ at CLASS@(PS1),
+     ppl_delete_ at CLASS@(PS2)
+   ->
+    fail ; true)
+  ).
+
+')
+
 dnl ppl_ at CLASS@_ at NARROWING@_narrowing_assign/2,