diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-02-09 18:13:24 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-02-09 18:13:24 +0100 |
| commit | 275b8d25aacd639a0512f54e99f9fa247ecb8bb3 (patch) | |
| tree | 669a16a156874aa97ed27fd14a18130b9ea5ae16 /test/ir/symbexec.py | |
| parent | c2e52be18ddd2eeb86b413e851a3ade0ceeca1dc (diff) | |
| download | miasm-275b8d25aacd639a0512f54e99f9fa247ecb8bb3.tar.gz miasm-275b8d25aacd639a0512f54e99f9fa247ecb8bb3.zip | |
Expression: no default size for ExprId
Diffstat (limited to 'test/ir/symbexec.py')
| -rwxr-xr-x | test/ir/symbexec.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/ir/symbexec.py b/test/ir/symbexec.py index f8d8c7bf..492dcfec 100755 --- a/test/ir/symbexec.py +++ b/test/ir/symbexec.py @@ -30,10 +30,10 @@ class TestSymbExec(unittest.TestCase): mem40w = ExprMem(addr40, 16) mem50v = ExprMem(addr50, 8) mem50w = ExprMem(addr50, 16) - id_x = ExprId('x') + id_x = ExprId('x', 32) id_y = ExprId('y', 8) - id_a = ExprId('a') - id_eax = ExprId('eax_init') + id_a = ExprId('a', 32) + id_eax = ExprId('eax_init', 32) e = SymbolicExecutionEngine(ir_x86_32(), {mem0: id_x, mem1: id_y, mem9: id_x, |