AggerTesting.mesa
Copyright © 1985 by Xerox Corporation. All rights reversed.
Spreitzer, October 21, 1985 6:54:35 pm PDT
DIRECTORY BasicTime, BitTwiddling, Core, CoreProperties, GetMe, IO, Rope, RoseBehavior, AggerTesterRoseDefs;
AggerTesting:
CEDAR
PROGRAM
=
BEGIN OPEN RoseBehavior, AggerTesterRoseDefs;
TestAgger
:
PROC [
testeeType: Core.CellType,
testData, switchInstructions, simpleInstructions, driveInstructions, stateAny: REF ANY,
Eval: PROC
]
= {
instr: REF AggerTesterSimple = NARROW[simpleInstructions];
drive: REF AggerTesterDrive = NARROW[driveInstructions];
drive.out ← see;
drive.phA ← drive.phB ← drive.loadCounter ← drive.loadLatches ← drive.in ← drive;
instr.phA ← instr.phB ← instr.loadCounter ← instr.loadLatches ← TRUE;
instr.in ← 10;
Eval[];
IF instr.out # 10 THEN ERROR;
stateAny ← stateAny;
};
END.