diff options
Diffstat (limited to 'example/symbol_exec/dse_strategies.py')
| -rw-r--r-- | example/symbol_exec/dse_strategies.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/example/symbol_exec/dse_strategies.py b/example/symbol_exec/dse_strategies.py index 40998425..a981853a 100644 --- a/example/symbol_exec/dse_strategies.py +++ b/example/symbol_exec/dse_strategies.py @@ -99,7 +99,7 @@ while todo: dse.restore_snapshot(snapshot, keep_known_solutions=True) # Reinit jitter (reset jitter.run, etc.) - jitter.init_run(run_addr) # TODO degage avec new PR? + jitter.init_run(run_addr) # Set the argument value in the jitter context jitter.eval_expr(ExprAff(arg_addr, arg_value)) |