[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/11 23:05:46

Modified files:
	test           : Makefile.am Makefile.in 
Added files:
	test           : bug1.cc bug1.dat 
Removed files:
	test           : bug.cc bug.dat 

Log message:
	bug1.* witness a bug: it seems that Polyhedron::constraints()
	(indirectly) causes the sorted flag of a Matrix to be set even
	when the Matrix is not sorted.