From f29e0cfd42e6207929205e26dc6afebb686ca339 Mon Sep 17 00:00:00 2001 From: serpilliere Date: Tue, 12 Jun 2012 13:08:34 +0200 Subject: expression: replace reload_expr with replace_expr using visitor --- example/expression/find_conditions.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'example/expression') diff --git a/example/expression/find_conditions.py b/example/expression/find_conditions.py index 9fa5def8..3fe64f2c 100644 --- a/example/expression/find_conditions.py +++ b/example/expression/find_conditions.py @@ -75,8 +75,8 @@ def emul_mn(states_todo, states_done, all_blocs, job_done): c2 = {ad.cond: ExprInt(uint32(1))} p1[ad.cond] = ExprInt(uint32(0)) p2[ad.cond] = ExprInt(uint32(1)) - ad1 = machine.eval_expr(ad.reload_expr(c1), {}) - ad2 = machine.eval_expr(ad.reload_expr(c2), {}) + ad1 = machine.eval_expr(ad.replace_expr(c1), {}) + ad2 = machine.eval_expr(ad.replace_expr(c2), {}) if not (isinstance(ad1, ExprInt) and isinstance(ad2, ExprInt)): print str(ad1), str(ad2) raise ValueError("zarb condition") @@ -120,4 +120,4 @@ for ad, pool in states_done: machine = x86_machine() for k, v in list(all_info): - print machine.eval_expr(k.reload_expr({}), {}), "=", v + print machine.eval_expr(k.replace_expr({}), {}), "=", v -- cgit 1.4.1