From 78ff124af3996243a6e9055adc4cc235e3224e25 Mon Sep 17 00:00:00 2001
From: "Hsieh, Chiao" <chsieh16@illinois.edu>
Date: Tue, 30 Nov 2021 15:12:59 -0600
Subject: [PATCH] Remove or adjust print messages
---
firstpass_learner.py | 2 +-
teacher_base.py | 2 --
2 files changed, 1 insertion(+), 3 deletions(-)
diff --git a/firstpass_learner.py b/firstpass_learner.py
index 395d296..2d1e513 100644
--- a/firstpass_learner.py
+++ b/firstpass_learner.py
@@ -99,7 +99,7 @@ class FirstpassLearner(Z3LearnerBase):
print("(unsat)")
return None
else:
- print("(unknown) or timeout!")
+ print(self._solver.reason_unknown())
return None
diff --git a/teacher_base.py b/teacher_base.py
index 5498f1e..336c3a2 100644
--- a/teacher_base.py
+++ b/teacher_base.py
@@ -80,8 +80,6 @@ class GurobiTeacherBase(TeacherBase):
m = self._gp_model
x = self._old_state
z = self._percept
- print('Obj: %g, ObjBound: %g, x: %s, z: %s\n'
- % (m.objVal, m.objBound, x.x, z.x))
return [tuple(x.x) + tuple(z.x)]
else:
return []
--
GitLab