[PURRS-devel] purrs/tests heap

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-01-11 16:29:22

Modified files: tests : heap

Log message: Changed the marks `U' and `u' into `K' and `k'. Substituted the marks `A' and `a' with U expected to find upper bound with a provably correct result u expected to find upper bound with a provably correct result L expected to find lower bound l expected to find lower bound Changed mark `n' with mark `ul' to several recurrences.

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