From 7742df6b67cac21914bde41239fff03e893c59f7 Mon Sep 17 00:00:00 2001 From: Mark Mossberg Date: Fri, 17 Mar 2017 14:10:48 -0400 Subject: [PATCH] Rm unnecessary code (#80) --- manticore/core/executor.py | 9 --------- 1 file changed, 9 deletions(-) diff --git a/manticore/core/executor.py b/manticore/core/executor.py index 4808345..546c280 100644 --- a/manticore/core/executor.py +++ b/manticore/core/executor.py @@ -571,15 +571,6 @@ class Executor(object): #this will save all the states to files parent = current_state.co - #Make a new variable - if isinstance(symbolic, BitVec): - new_var = current_state.constraints.new_bitvec(symbolic.size) - elif isinstance(symbolic, Bool): - new_var = current_state.constraints.new_bool() - else: - raise Exception('Unsupported concretization type %s', type(symbolic)) - current_state.constraints.add(new_var == symbolic) - for new_value in vals: with current_state as new_state: new_state.add(symbolic == new_value, check=False) #We already know it's sat