[PPL-devel] ppl/tests Makefile.am limitedwidening2.cc
Roberto Bagnara
roberto at spartacus.cs.unipr.it
Fri Feb 22 19:47:29 CET 2002
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto at cs.unipr.it 2002-02-22 19:47:29
Modified files:
tests : Makefile.am
Added files:
tests : limitedwidening2.cc
Log message:
New test to check that the case where the passed constraint system
is inconsistent with respect to the widened polyhedron.
Note: it currently fails, since Polyhedron::limited_widening_assign()
is buggy, as it is now.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedwidening2.cc.diff?cvsroot=ppl&r1=NONE&r2=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&r1=1.38&r2=1.39
More information about the PPL-devel
mailing list