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 /example/expression/solve_condition_stp.py | |
| parent | c2e52be18ddd2eeb86b413e851a3ade0ceeca1dc (diff) | |
| download | focaccia-miasm-275b8d25aacd639a0512f54e99f9fa247ecb8bb3.tar.gz focaccia-miasm-275b8d25aacd639a0512f54e99f9fa247ecb8bb3.zip | |
Expression: no default size for ExprId
Diffstat (limited to 'example/expression/solve_condition_stp.py')
| -rw-r--r-- | example/expression/solve_condition_stp.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/example/expression/solve_condition_stp.py b/example/expression/solve_condition_stp.py index b3ee6938..24d2dd50 100644 --- a/example/expression/solve_condition_stp.py +++ b/example/expression/solve_condition_stp.py @@ -109,7 +109,7 @@ if __name__ == '__main__': argc = ExprId('argc', 32) argv = ExprId('argv', 32) - ret_addr = ExprId('ret_addr') + ret_addr = ExprId('ret_addr', 32) reg_and_id[argc.name] = argc reg_and_id[argv.name] = argv reg_and_id[ret_addr.name] = ret_addr |