def test_build_model(self):
# Initialize the model
ret = cmd.Cmd_SecureCommandExecute("read_model -i"
" tests/pynusmv/models/admin.smv")
self.assertEqual(ret, 0)
ret = cmd.Cmd_SecureCommandExecute("go")
self.assertEqual(ret, 0)
propDb = prop.PropPkg_get_prop_database()
fsm_ptr = prop.PropDb_master_get_bdd_fsm(propDb)
self.assertIsNotNone(fsm_ptr)
fsm = BddFsm(fsm_ptr)
enc = fsm.bddEnc
self.assertIsNotNone(enc)
init = fsm.init
self.assertIsNotNone(init)
