PPL-devel

Download

ppl-devel@bugseng.com

July 2020

1 participants
2 discussions

[GIT] ppl/ppl(master): Obsolete configuration removed.
by Roberto Bagnara 09 Jul '20

09 Jul '20

Module: ppl/ppl Branch: master Commit: 449b8f7cc66a6565adc7d1272848c6ccae36da48 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=449b8f7cc66a… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Jul 9 11:53:48 2020 +0200 Obsolete configuration removed. --- ECLAIR/analyze_BUGFIND.ecl | 2 -- 1 file changed, 2 deletions(-) diff --git a/ECLAIR/analyze_BUGFIND.ecl b/ECLAIR/analyze_BUGFIND.ecl index 1e09a2f35..8f615031a 100644 --- a/ECLAIR/analyze_BUGFIND.ecl +++ b/ECLAIR/analyze_BUGFIND.ecl @@ -8,8 +8,6 @@ -config=B.REPORT.ECB,preprocessed=show -config=B.REPORT.ECB,macros=10 --disable=B.REPORT.TXT - -enable=B.BUGFIND -reports={hide,all_exp_external}

1 0

[GIT] ppl/ppl(devel): Fixed termination_test and let it run.
by Roberto Bagnara 01 Jul '20

01 Jul '20

Module: ppl/ppl Branch: devel Commit: 60525823670f5f984a5f2f8c0144a76bb770dd71 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60525823670f… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jul 1 21:06:39 2020 +0200 Fixed termination_test and let it run. --- interfaces/Prolog/tests/pl_check.pl | 22 +++++++++++++--------- 1 files changed, 13 insertions(+), 9 deletions(-) diff --git a/interfaces/Prolog/tests/pl_check.pl b/interfaces/Prolog/tests/pl_check.pl index caf4645..9261d1c 100644 --- a/interfaces/Prolog/tests/pl_check.pl +++ b/interfaces/Prolog/tests/pl_check.pl @@ -253,6 +253,9 @@ run_one(mip_problem) :- run_one(pip_problem) :- pip_problem. +run_one(termination_test) :- + termination_test. + % Checks how the PPL Prolog system performs with large integers % XSB has problems with large numbers - hence tests for XSB disallowed. % We catch the exception if it is caused by integer overflow in C++ @@ -1816,10 +1819,10 @@ ok(T) :- ppl_delete_Polyhedron(P3), ppl_delete_Polyhedron(P4). -% Tests ppl_termination_test_C_Polyhedron_MS/2, -% ppl_termination_test_C_Polyhedron_PR/2. -% ppl_termination_test_NNC_Polyhedron_MS/2, -% ppl_termination_test_NNC_Polyhedron_PR/2. +% Tests ppl_termination_test_MC_C_Polyhedron_MS/1, +% ppl_termination_test_MS_C_Polyhedron_PR/1. +% ppl_termination_test_MS_NNC_Polyhedron_MS/1, +% ppl_termination_test_MS_NNC_Polyhedron_PR/1. termination_test :- make_vars(4, [A, B, C, D]), clean_ppl_new_Polyhedron_from_constraints(c, @@ -1828,16 +1831,16 @@ termination_test :- -B + D >= 1, B >= 0, A >= 1], P1), - ppl_termination_test_C_Polyhedron_MS(P1), - ppl_termination_test_C_Polyhedron_PR(P1), + ppl_termination_test_MS_C_Polyhedron(P1), + ppl_termination_test_PR_C_Polyhedron(P1), clean_ppl_new_Polyhedron_from_constraints(nnc, [A - C >= 0, -A + C >= 0, -B + D >= 1, B >= 0], P2), - ppl_termination_test_NNC_Polyhedron_MS(P2), - ppl_termination_test_NNC_Polyhedron_PR(P2), + ppl_termination_test_MS_NNC_Polyhedron(P2), + ppl_termination_test_PR_NNC_Polyhedron(P2), !, ppl_delete_Polyhedron(P1), ppl_delete_Polyhedron(P2). @@ -3411,7 +3414,8 @@ list_groups( [ transform_polyhedron, add_to_system, catch_time, - handle_exceptions + handle_exceptions, + termination_test ] ). % group_predicates(G, P)

1 0