[PURRS-devel] purrs/src verify.cc

Tatiana Zolo zolo at cs.unipr.it
Tue Feb 17 16:57:18 CET 2004


CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zolo at cs.unipr.it	2004-02-17 16:57:18

Modified files:
	src            : verify.cc 

Log message:
	Improved the method `validate_initial_conditions()' in the case
	of not symbolic solution.
	Minor bug fixed in the method `verify_finite_order()' in the case
	of not symbolic solution.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=purrs&r1=1.16&r2=1.17




More information about the PURRS-devel mailing list