Skip to content

Commit

Permalink
remove useless print
Browse files Browse the repository at this point in the history
  • Loading branch information
RobinDavid committed Jul 26, 2023
1 parent 0d1a4ef commit 2148f95
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion tritondse/symbolic_executor.py
Original file line number Diff line number Diff line change
Expand Up @@ -696,7 +696,6 @@ def repl_bytearray(concrete, symbolic):
new_variables = {}
for k, c in self.seed.content.variables.items():
if k in self._symbolic_seed.variables:
print(f"{k} conc:{c}, sym:{self._symbolic_seed.variables[k]}")
conc = bytearray(c) if isinstance(c, bytes) else [c]
new_vals = repl_bytearray(conc, self._symbolic_seed.variables[k])
new_variables[k] = bytes(new_vals) if isinstance(c, bytes) else new_vals[0] # new variables are either bytes or int
Expand Down

0 comments on commit 2148f95

Please sign in to comment.