[PPL-devel] [GIT] ppl/ppl(master): Expected test result corrected.

Patricia Hill p.m.hill at leeds.ac.uk
Thu Mar 25 09:01:13 CET 2010


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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Thu Mar 25 08:00:38 2010 +0000

Expected test result corrected.

---

 .../tests/ppl_prolog_generated_test_common.pl      |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/tests/ppl_prolog_generated_test_common.pl b/interfaces/Prolog/tests/ppl_prolog_generated_test_common.pl
index 589e664..2020930 100644
--- a/interfaces/Prolog/tests/ppl_prolog_generated_test_common.pl
+++ b/interfaces/Prolog/tests/ppl_prolog_generated_test_common.pl
@@ -545,7 +545,7 @@ ppl_maxmin_test_data(test07, _, congruence, _, A, _, _, _, _, false) :-
 ppl_frequency_test_data(test07, _Topology, constraint, A, _, _, _, _, false) :-
    make_vars(1, [A]).
 
-ppl_frequency_test_data(test07, _Topology, congruence, A, 1, 1, 0, 1, true) :-
+ppl_frequency_test_data(test07, _Topology, congruence, A, 2, 1, 0, 1, true) :-
    make_vars(1, [A]).
 
 ppl_constrains_test_data(test07, _, true).




More information about the PPL-devel mailing list