[PPL-devel] [GIT] ppl/ppl(master): Adapted test Box/ascii_dump_load1. cc and FIXME removed.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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