[PURRS-devel] purrs/tests heap

Roberto Bagnara roberto at cs.unipr.it
Thu Oct 14 16:25:22 CEST 2004

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	roberto at cs.unipr.it	2004-10-14 16:25:22

Modified files:
	tests          : heap 

Log message:
	383 new recurrences (one of which shows a definite bug in the solver).


More information about the PURRS-devel mailing list