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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Apr 1 16:27:16 2009 +0200

Adapted test Box/ascii_dump_load1.cc and FIXME removed.

---

tests/Box/ascii_dump_load1.cc | 18 ++++++++---------- 1 files changed, 8 insertions(+), 10 deletions(-)

diff --git a/tests/Box/ascii_dump_load1.cc b/tests/Box/ascii_dump_load1.cc index 22ec0c9..a210688 100644 --- a/tests/Box/ascii_dump_load1.cc +++ b/tests/Box/ascii_dump_load1.cc @@ -161,7 +161,7 @@ test04() { }

bool -test06() { +test05() { Variable A(0); Variable B(1);

@@ -193,13 +193,13 @@ test06() { }

bool -test07() { +test06() { Variable A(0); Variable B(1); Variable C(2);

Constraint_System cs; - cs.insert(3*A + C == 5); + cs.insert(3*C == 5); TBox box1(cs);

print_constraints(box1, "*** box1(cs) ***"); @@ -242,12 +242,10 @@ test07() { } // namespace

BEGIN_MAIN -// FIXME(0.10.1): finish and uncomment all these tests. -// DO_TEST(test01); -// DO_TEST(test02); -// DO_TEST(test03); + DO_TEST(test01); + DO_TEST(test02); + DO_TEST(test03); DO_TEST(test04); -// DO_TEST(test05); -// DO_TEST(test06); -// DO_TEST(test07); + DO_TEST(test05); + DO_TEST(test06); END_MAIN