24 Aug
2008
24 Aug
'08
12:55 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino@cs.unipr.it 2008-08-24 12:55:02
Modified files: interfaces/OCaml/tests: test1.ml
Log message: Test if the number of constraints of a Constraint_System get by calling `minimized_constraints' on a Polyhedron built from Universe and with dimension greater than zero is zero.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.m...