DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Fix solver call in decree (#409)

Browse Source
This commit is contained in:
JP Smith
2017-07-21 15:34:33 -04:00
committed by GitHub
parent d9c226b89d
commit 8d19dc507d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
manticore/platforms/decree.py
+1 -1
View File
@@ -589,7 +589,7 @@ class Decree(object):
self.running.remove(procid)
#self.procs[procid] = None #let it there so we can report?
if issymbolic(error_code):
logger.info("TERMINATE PROC_%02d with symbolic exit code [%d,%d]", procid, solver.minmax(constraints, error_code))
logger.info("TERMINATE PROC_%02d with symbolic exit code [%d,%d]", procid, solver.minmax(self.constraints, error_code))
else:
logger.info("TERMINATE PROC_%02d %x", procid, error_code)
if len(self.running) == 0 :