<> <> <> <<>> DIRECTORY RosemaryUser, Ports; TestDAUser: CEDAR PROGRAM IMPORTS RosemaryUser, Ports = BEGIN OPEN Ports; AndOrPorts: TYPE = REF AndOrPortsRec; AndOrPortsRec: TYPE = RECORD [in1, in2, out: Ports.Port]; AndOrTest: RosemaryUser.TestProc= { andOrPorts: AndOrPorts _ NEW[AndOrPortsRec]; {OPEN andOrPorts; [in1, in2, out] _ Ports.BindPorts[cellType.public, p, "in1", "in2", "out"]; PL[in1, H, force]; PL[in2, H, force]; PL[out, H, expect]; Eval[]; PL[in1, H, force]; PL[in2, L, force]; Eval[]; PL[in1, L, force]; PL[in2, L, force]; PL[out, L, expect]; Eval[]; PL[in1, L, force]; PL[in2, H, force]; Eval[]; }}; RosemaryUser.RegisterTestProc["AndOrTest", AndOrTest]; END.