CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-11-18 13:49:52
Modified files: interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl_code.m4 ppl_prolog_generated_test_common.pl tests/Powerset : Makefile.am Added files: tests/Powerset : containsintegerpoint1.cc
Log message: Corrected some m4 code that resulted in wrongly named test predicates. Corrected expected answers for tests that checked properties such as "is_empty()". Added tests for the contains_integer_point() for the Pointset_Powerset domain.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_in... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_pr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/containsinteger... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.dif...