diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-07-05 11:04:46 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2018-07-05 13:16:45 +0200 |
| commit | 1d8dc96d6cd82d40e81e8436ed2827916179cd2e (patch) | |
| tree | 8bce7b5aaf34fac81611243688c5a6040536ec81 /test/analysis/dg_test_04_implicit_expected.json | |
| parent | 143196e691a124df3c011167e73a77c1fd503453 (diff) | |
| download | miasm-1d8dc96d6cd82d40e81e8436ed2827916179cd2e.tar.gz miasm-1d8dc96d6cd82d40e81e8436ed2827916179cd2e.zip | |
IR: remove default regs_init for symbexec
Diffstat (limited to 'test/analysis/dg_test_04_implicit_expected.json')
| -rw-r--r-- | test/analysis/dg_test_04_implicit_expected.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/analysis/dg_test_04_implicit_expected.json b/test/analysis/dg_test_04_implicit_expected.json index 73e7209e..21dbfc96 100644 --- a/test/analysis/dg_test_04_implicit_expected.json +++ b/test/analysis/dg_test_04_implicit_expected.json @@ -1 +1 @@ -[{"has_loop": false, "EAX": "EBX_init", "satisfiability": true, "constraints": {}}, {"has_loop": true, "EAX": "EBX_init", "satisfiability": false, "constraints": {}}] +[{"has_loop": false, "EAX": "EBX", "satisfiability": true, "constraints": {}}, {"has_loop": true, "EAX": "EBX", "satisfiability": false, "constraints": {}}] |