SwitchInvTest.cm

CommandToolProcedures

PrettyPrint

LoadRosemary

Addd [DATools]<DATools6.0>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]

← &cth ← RoseControl.InstantiateForTest[cellType: &ict, expand: TRUE]

MakeDo SwitchInvTesting

Run SwitchInvTesting

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