CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2006-10-13 09:35:20 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code Log message: Added tests and test data for strict constraints and closure points for NNC polyhedra. Extended test for building a bounding/covering box. 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_in...