def test_reorderings(self): fsm = self.counters_model() bddEnc = fsm.bddEnc ddmanager = bddEnc.DDmanager self.assertEqual(ddmanager.reorderings, 0) reorder(ddmanager) self.assertEqual(ddmanager.reorderings, 1)
def test_force_reordering(self): glob.load("tests/pynusmv/models/admin.smv") glob.compute_model(variables_ordering="tests/pynusmv/models/admin.ord") fsm = glob.prop_database().master.bddFsm self.assertTupleEqual(("admin", "state"), fsm.bddEnc.get_variables_ordering()) reorder(fsm.bddEnc.DDmanager) self.assertTupleEqual(("state", "admin"), fsm.bddEnc.get_variables_ordering())
def test_dymanic_reordering(self): fsm = self.counters_model() bddEnc = fsm.bddEnc ddmanager = bddEnc.DDmanager enable_dynamic_reordering() enable_dynamic_reordering(ddmanager) self.assertTrue(dynamic_reordering_enabled(ddmanager)) reorder() disable_dynamic_reordering() disable_dynamic_reordering(ddmanager) self.assertFalse(dynamic_reordering_enabled(ddmanager))