diff options
| author | Ajax <commial@gmail.com> | 2017-10-05 11:23:55 +0200 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2017-10-05 11:23:55 +0200 |
| commit | 1fdde67aabda88c23505275f3191496021f4771d (patch) | |
| tree | cb5631e0bcac81d8f40c413c300dec7c642b03a5 | |
| parent | 1fb332626c9c5925304b0a043d21b9a8aab7fe96 (diff) | |
| download | miasm-1fdde67aabda88c23505275f3191496021f4771d.tar.gz miasm-1fdde67aabda88c23505275f3191496021f4771d.zip | |
Remove a dev-TODO (thanks @WilliamBruneau)
| -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)) |