SimpleInvTest.cm

CommandToolProcedures

PrettyPrint

Rosemary

Addd [Indigo]<Dragon>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]

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

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

MakeDo SimpleInvTesting

Run SimpleInvTesting

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