diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2017-10-05 13:49:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-05 13:49:20 +0200 |
| commit | 3bdad0fb8c2d4d2603aad1c689f106aaabb54efb (patch) | |
| tree | cb5631e0bcac81d8f40c413c300dec7c642b03a5 | |
| parent | 1fb332626c9c5925304b0a043d21b9a8aab7fe96 (diff) | |
| parent | 1fdde67aabda88c23505275f3191496021f4771d (diff) | |
| download | miasm-3bdad0fb8c2d4d2603aad1c689f106aaabb54efb.tar.gz miasm-3bdad0fb8c2d4d2603aad1c689f106aaabb54efb.zip | |
Merge pull request #623 from commial/fix/removing-TODO
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)) |