Fix issue where I passed cast_to to min.

2017-12-03 20:57:15 -05:00
parent 29f2465ebf
commit a5ce3eaf31
1 changed files with 1 additions and 1 deletions
@@ -102,7 +102,7 @@ class DeepAngr(DeepState):
  def concretize_min(self, val, constrain=False):
    if isinstance(val, (int, long)):
      return val
-    concrete_val = self.state.solver.min(val, cast_to=int)
+    concrete_val = self.state.solver.min(val)
    if constrain:
      self.add_constraint(val == concrete_val)
    return concrete_val