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