DIRECTORY InverterImpl, RoseCreate, RoseRun, RoseTypes; InverterTest: CEDAR PROGRAM IMPORTS RoseCreate, RoseRun SHARES InverterImpl = BEGIN InverterTestProc: RoseTypes.CellTestProc = { instructions: InverterImpl.InverterSimpleIORef _ NARROW[simpleInstructions]; drive: InverterImpl.InverterDriveRef _ NARROW[driveAsAny]; {OPEN instructions; Vdd _ TRUE; Gnd _ FALSE; In _ TRUE; Out _ FALSE; [] _ RoseRun.Eval[handle]; In _ FALSE; Out _ TRUE; [] _ RoseRun.Eval[handle]; }; }; ctest: RoseTypes.CellTest _ NEW[RoseTypes.CellTestRep _ ["InverterTest", InverterTestProc, FALSE]]; ct: RoseTypes.CellType _ RoseCreate.GetCellType["Inverter"]; [] _ RoseCreate.SetTest[ctest, ct, TRUE]; END. BInverterTest.mesa Barth, September 16, 1985 2:54:55 pm PDT Κ˜codešœ™K™(—J™KšΟk œ.˜7K˜šœœ˜Kšœ˜Kšœ˜Kš˜—K˜šœ,˜,Kšœ1œ˜LKšœ'œ ˜:šœœ˜Jšœœ˜ Jšœœ˜ Jšœœ˜ Jšœœ˜ Jšœ˜Jšœœ˜ Jšœœ˜ Jšœ˜J˜—J˜—K˜Kšœœ<œ˜cKšœ<˜