SimpleInvTesting.mesa
Copyright © 1985 by Xerox Corporation. All rights reversed.
Spreitzer, October 2, 1985 9:56:01 pm PDT
DIRECTORY BasicTime, BitTwiddling, Core, CoreProperties, GetMe, IO, Rope, RoseBehavior, RoseBind, RoseControl, SimpleInvTesterRoseDefs;
SimpleInvTesting:
CEDAR
PROGRAM
=
BEGIN OPEN RoseBehavior, RoseControl, SimpleInvTesterRoseDefs;
TestSimpleInv
:
PROC [
testeeType: Core.CellType,
testData, switchInstructions, simpleInstructions, driveInstructions, stateAny: REF ANY,
Eval: PROC
]
= {
instr: REF SimpleInvTesterSimple = NARROW[simpleInstructions];
drive: REF SimpleInvTesterDrive = NARROW[driveInstructions];
drive.out ← test;
drive.in ← drive;
FOR b:
BOOL
IN
BOOL
DO
instr.in ← b;
instr.out ← NOT b;
Eval[];
ENDLOOP;
stateAny ← stateAny;
};
END.