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

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/20 18:27:03

Modified files:
	test           : Makefile.am Makefile.in bug3.cc bug3.dat 

Log message:
	bug3 shows what may or may be not a bug.
	In any case, Polyhedra::conversion() is entered with a big
	(but not terrible) polyhedron and control seems not to comes back,
	while memory usage seems to grow slowly but continuously.
	It may be "the concrete effects of combinatorial explosion"
	or a genuine bug.