<> <> <> 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.