Module: ppl/ppl Branch: master Commit: 0bcfbb57b083b9789352d53fc5e653b857420093 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bcfbb57b083b...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 24 08:38:04 2010 +0100
Tests 1-18 restored. Test 19 is known to fail.
---
tests/PIP_Problem/pipproblem1.cc | 38 +++++++++++++++++++------------------- 1 files changed, 19 insertions(+), 19 deletions(-)
diff --git a/tests/PIP_Problem/pipproblem1.cc b/tests/PIP_Problem/pipproblem1.cc index bd5f636..8ab96be 100644 --- a/tests/PIP_Problem/pipproblem1.cc +++ b/tests/PIP_Problem/pipproblem1.cc @@ -562,23 +562,23 @@ test19() { } // namespace
BEGIN_MAIN - //DO_TEST(test01); - //DO_TEST_F8(test02); - //DO_TEST(test03); - //DO_TEST(test04); - //DO_TEST_F8(test05); - //DO_TEST(test06); - //DO_TEST_F8(test07); - //DO_TEST_F8(test08); - //DO_TEST_F8(test09); - //DO_TEST_F8(test10); - //DO_TEST(test11); - //DO_TEST(test12); - //DO_TEST(test13); - //DO_TEST(test14); - //DO_TEST(test15); - //DO_TEST(test16); - //DO_TEST(test17); - //DO_TEST(test18); - DO_TEST(test19); + DO_TEST(test01); + DO_TEST_F8(test02); + DO_TEST(test03); + DO_TEST(test04); + DO_TEST_F8(test05); + DO_TEST(test06); + DO_TEST_F8(test07); + DO_TEST_F8(test08); + DO_TEST_F8(test09); + DO_TEST_F8(test10); + DO_TEST(test11); + DO_TEST(test12); + DO_TEST(test13); + DO_TEST(test14); + DO_TEST(test15); + DO_TEST(test16); + DO_TEST(test17); + DO_TEST(test18); + DO_TEST_F(test19); END_MAIN