CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2002-09-05 11:51:43

Modified files: tests : recurrences

Log message: Added the label 'BAD_EXPRESSION' to the recurrence relations that fail with verify_solution().

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsro...