SwitchInvTest.cm

CommandToolProcedures

PrettyPrint

Rosemary

Addd [Indigo]<Dragon>Core>

Run RoseDebug

MakeDo SwitchInv

Run SwitchInv

← &design ← CoreOps.CreateDesign["SwitchInvTest"]

← &ict ← SwitchInv.DefineInverter[&design]

← CoreOps.PrintDesign[&design, &stdout[]]

← &ibc ← RoseBindPrivate.GetBehaviorClass[&ict, FALSE, FALSE, TRUE]

MakeExcuses ("Rosemary Behavior Class Privates" "SwitchInv RoseBCPvt")

← &ibc ← RoseBindPrivate.GetBehaviorClass[&ict, FALSE, TRUE, TRUE]

← &sim ← RoseControl.Instantiate[cellType: &ict, expansionControl: RoseControl.FlattenStructure[&ict]]

MakeDo SwitchInvTesting

Run SwitchInvTesting

← RoseControl.Test[&sim, SwitchInvTesting.TestSwitchInv]