[PPL-devel] [GIT] ppl/ppl(master): Corrected test for has_{upper, lower}_bound so as to avoid calling

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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_ at CLASS@_has_ at UPPERLOWER@_bound_5_test :-
    choose_test(TEST_DATA, Space_Dim),
    (
      ppl_ at TOPOLOGY@@CLASS at _build_test_object(TEST_DATA, PS, Space_Dim),
-     (ppl_ at CLASS@_is_empty(PS) ->
+     ((
+       Space_Dim = 0
+      ;
+       ppl_ at CLASS@_is_empty(PS)
+      ) ->
        true
      ;
        make_vars(Space_Dim, [Var| _Var_List]),