[PPL-devel] Polyhedra/test Makefile.am Makefile.in bug1.cc ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/12 15:36:29

Modified files:
	test           : Makefile.am Makefile.in bug1.cc bug2.cc 
	                 bug2.dat 

Log message:
	New bug2.cc is the witness of a problem in convex hull computations.
	Added assertions in bug1.cc to make sure that the input polyhedra
	are well-formed.