Module: ppl/ppl Branch: termination Commit: ff0e20fbd91fea45e9eb2bd2c90a92291e22d02f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff0e20fbd91fe...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 17 21:11:12 2010 +0400
Fixed several typos.
---
interfaces/Prolog/tests/pl_check.pl | 18 +++++++++--------- 1 files changed, 9 insertions(+), 9 deletions(-)
diff --git a/interfaces/Prolog/tests/pl_check.pl b/interfaces/Prolog/tests/pl_check.pl index a7b9d38..5abfb02 100644 --- a/interfaces/Prolog/tests/pl_check.pl +++ b/interfaces/Prolog/tests/pl_check.pl @@ -1823,20 +1823,20 @@ ok(T) :- % ppl_termination_test_NNC_Polyhedron_PR/2. termination_test :- make_vars(4, [A, B, C, D]), - clean_ppl_new_Polyhedron_from_constraints(C, + clean_ppl_new_Polyhedron_from_constraints(c, [A - C >= 0, - -A + C >= 0; - -B + D >= 1; - B >= 0; + -A + C >= 0, + -B + D >= 1, + B >= 0, A >= 1], P1), ppl_termination_test_C_Polyhedron_MS(P1), ppl_termination_test_C_Polyhedron_PR(P1), - clean_ppl_new_Polyhedron_from_constraints(NNC, + clean_ppl_new_Polyhedron_from_constraints(nnc, [A - C >= 0, - -A + C >= 0; - -B + D >= 1; - B >= 0; - P2), + -A + C >= 0, + -B + D >= 1, + B >= 0], + P2), ppl_termination_test_NNC_Polyhedron_MS(P2), ppl_termination_test_NNC_Polyhedron_PR(P2), !,