From 8d19dc507dcc32999c6e1d10df95dc9ce0deeba6 Mon Sep 17 00:00:00 2001 From: JP Smith Date: Fri, 21 Jul 2017 15:34:33 -0400 Subject: [PATCH] Fix solver call in decree (#409) --- manticore/platforms/decree.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manticore/platforms/decree.py b/manticore/platforms/decree.py index affdf16..410d519 100644 --- a/manticore/platforms/decree.py +++ b/manticore/platforms/decree.py @@ -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 :