SimpleInvTest.cm

CommandToolProcedures

PrettyPrint

LoadRosemary

Addd [DATools]<DATools6.0>Core>

Run RoseDebug

MakeDo SimpleInv

Run SimpleInv

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

← &ict ← SimpleInv.DefineInverter[&design]

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

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

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

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

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

MakeExcuses ("Rosemary Behavior Class Details" "SimpleInvTester RoseBCDet")

MakeDo SimpleInvTesting

Run SimpleInvTesting

← RoseControl.Test[&cth, SimpleInvTesting.TestSimpleInv]