diff options
Diffstat (limited to 'example/symbol_exec/depgraph.py')
| -rw-r--r-- | example/symbol_exec/depgraph.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/example/symbol_exec/depgraph.py b/example/symbol_exec/depgraph.py index f306e6e3..260d62ab 100644 --- a/example/symbol_exec/depgraph.py +++ b/example/symbol_exec/depgraph.py @@ -103,7 +103,7 @@ for sol_nb, sol in enumerate(dg.get(current_block.loc_key, elements, assignblk_i if sat: for element in sol.constraints: try: - result = hex(sol.constraints[element].as_long()) + result = '0x%x' % sol.constraints[element].as_long() except AttributeError: result = str(sol.constraints[element]) constraints[element] = result |