DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

change to not access state.solver

Browse Source
This commit is contained in:
Alex Groce 2018-07-13 15:14:33 -07:00
parent f61e4b4ff6
commit 751fe57042
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bin/deepstate/main_manticore.py
View File

@ -123,7 +123,7 @@ class DeepManticore(DeepState):
assert 0 < max_num assert 0 < max_num
if isinstance(val, (int, long)): if isinstance(val, (int, long)):
return [val] return [val]
return self.state.solver.eval_upto(val, max_num) return self.state.solve_n(val, max_num)
def add_constraint(self, expr): def add_constraint(self, expr):
if self.is_symbolic(expr): if self.is_symbolic(expr):