[PPL-devel] ppl/interfaces/Prolog/tests ppl_interface_gene ...

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...