RegressUtils: CEDAR DEFINITIONS = BEGIN
Val:
PROC [val:
NAT ¬ 0]
RETURNS [
NAT];
Returns its parameter. Useful to fool the optimizer.
SetErrorStop: PROC [bool: BOOL];
Register: PROC [name: REF TEXT, proc: PROC];
NoteProc: PROC [name: REF TEXT];
Test: PROC [failed: BOOL, why: REF TEXT];
RunMatchingTests: PROC [pattern: REF TEXT];
END.