DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

remove default nsolves parameter from solve_n (#266)

Browse Source
This commit is contained in:
JP Smith 2017-05-22 14:14:27 -05:00 committed by GitHub
parent 0029c8fdc5
commit ea4f8edfd4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
manticore/core/state.py
View File

@ -220,7 +220,7 @@ class State(object):
''' '''
return self._solver.get_value(self.constraints, expr) return self._solver.get_value(self.constraints, expr)
def solve_n(self, expr, nsolves=1, policy='minmax'): def solve_n(self, expr, nsolves, policy='minmax'):
''' '''
Concretize a symbolic :class:`~manticore.core.smtlib.expression.Expression` into Concretize a symbolic :class:`~manticore.core.smtlib.expression.Expression` into
`nsolves` solutions. `nsolves` solutions.