<> <> CommandToolProcedures PrettyPrint LoadRosemary Addd [DATools]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]>> <> <<_ &ibc _ RoseBindPrivate.GetBehaviorClass[&ict, TRUE, TRUE, TRUE]>> _ &cth _ RoseControl.InstantiateForTest[cellType: &ict, expand: FALSE] <> MakeDo SimpleInvTesting Run SimpleInvTesting _ RoseControl.Test[&cth, SimpleInvTesting.TestSimpleInv]