From acc6587c46e26810bc4c84cf71b19d95bcc69b23 Mon Sep 17 00:00:00 2001 From: Ajax Date: Mon, 11 Jun 2018 10:50:00 +0200 Subject: DSE: remove useless changes introduced by 61551fa7 --- example/symbol_exec/dse_strategies.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'example/symbol_exec/dse_strategies.py') diff --git a/example/symbol_exec/dse_strategies.py b/example/symbol_exec/dse_strategies.py index a981853a..5a4be321 100644 --- a/example/symbol_exec/dse_strategies.py +++ b/example/symbol_exec/dse_strategies.py @@ -67,7 +67,7 @@ jitter.init_run(run_addr) # Init a DSE instance with a given strategy dse = DSEPathConstraint(machine, produce_solution=strategy) dse.attach(jitter) -# Concretize everything exept the argument +# Concretize everything except the argument dse.update_state_from_concrete() regs = jitter.ir_arch.arch.regs arg = ExprId("ARG", 32) -- cgit 1.4.1