Module: ppl/ppl Branch: master Commit: cc825f2bac6aad42678e58b0de97a6a311072ecd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc825f2bac6aa... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu Mar 18 17:38:26 2010 +0100 Fixed tests/Partially_Reduced_Product/Makefile.am. --- tests/Partially_Reduced_Product/Makefile.am | 10 ++++++++++ 1 files changed, 10 insertions(+), 0 deletions(-) diff --git a/tests/Partially_Reduced_Product/Makefile.am b/tests/Partially_Reduced_Product/Makefile.am index 541da86..301f1cb 100644 --- a/tests/Partially_Reduced_Product/Makefile.am +++ b/tests/Partially_Reduced_Product/Makefile.am @@ -130,6 +130,12 @@ constraintsproduct1_SOURCES = constraintsproduct1.cc constraints1_SOURCES = constraints1.cc +contains1_SOURCES = contains1.cc + +difference1_SOURCES = difference1.cc + +dimension1_SOURCES = dimension1.cc + directproduct1_SOURCES = directproduct1.cc discrete1_SOURCES = discrete1.cc @@ -152,6 +158,8 @@ fromproduct1_SOURCES = fromproduct1.cc generalizedaffineimage1_SOURCES = generalizedaffineimage1.cc +intersection1_SOURCES = intersection1.cc + isempty1_SOURCES = isempty1.cc isuniverse1_SOURCES = isuniverse1.cc @@ -175,6 +183,8 @@ topclosed1_SOURCES = topclosed1.cc topclosure1_SOURCES = topclosure1.cc +upperbound1_SOURCES = upperbound1.cc + DERIVED_CXXFLAGS = -DREVERSED_TESTS $(AM_CXXFLAGS) reverse_congruences1_SOURCES = congruences1.cc