Module: ppl/ppl Branch: master Commit: 6677f1f4e72ba6e1b780fd159a3fe66865d7d390 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6677f1f4e72ba...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 24 14:56:05 2012 +0100
Corrected test for has_{upper,lower}_bound so as to avoid calling the predicate on zero-dim boxes.
---
...face_generator_prolog_generated_test_pl_code.m4 | 6 +++++- 1 files changed, 5 insertions(+), 1 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 52976f7..1ae5385 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 @@ -841,7 +841,11 @@ ppl_@CLASS@_has_@UPPERLOWER@_bound_5_test :- choose_test(TEST_DATA, Space_Dim), ( ppl_@TOPOLOGY@@CLASS@_build_test_object(TEST_DATA, PS, Space_Dim), - (ppl_@CLASS@_is_empty(PS) -> + (( + Space_Dim = 0 + ; + ppl_@CLASS@_is_empty(PS) + ) -> true ; make_vars(Space_Dim, [Var| _Var_List]),