CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto@cs.unipr.it 2002-12-04 18:46:21

Modified files: tests : heap

Log message: Recurrences marked with `y' can now be further qualified: with `v', if the result is provably correct; with `w', if the result is a provably wrong; with `d', if the correctness of the result can neither be proved nor be disproved.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=purr...