CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)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=pur…
