Fixed getting key when runtime is 0
@@ -120,6 +120,9 @@ class CPM_z3(SolverInterface):
# new status, translate runtime
self.cpm_status = SolverStatus(self.name)
st = self.z3_solver.statistics()
+ if 'time' not in st.keys():
+ self.cpm_status.runtime = 0
+ else:
self.cpm_status.runtime = st.get_key_value('time')
# translate exit status
