SimpleInvTest.cm
Spreitzer, October 4, 1985 1:23:39 pm PDT
CommandToolProcedures
PrettyPrint
LoadRosemary
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]