diff options
| author | Camille Mougey <commial@gmail.com> | 2016-03-23 20:58:13 +0100 |
|---|---|---|
| committer | Camille Mougey <commial@gmail.com> | 2016-03-23 20:58:13 +0100 |
| commit | 4eceb2b2e723409b610533788c0b98ec23a9e204 (patch) | |
| tree | da1c97447b429eba2d732a4f2719f5e9107444e6 /test | |
| parent | 1eec0a14818adc697c9f3955b958dda67f93e054 (diff) | |
| parent | 8c436da764b0616976c74c43fefd5494d3889ebb (diff) | |
| download | focaccia-miasm-4eceb2b2e723409b610533788c0b98ec23a9e204.tar.gz focaccia-miasm-4eceb2b2e723409b610533788c0b98ec23a9e204.zip | |
Merge pull request #347 from serpilliere/dg_has_loop
Dg has loop
Diffstat (limited to 'test')
| -rw-r--r-- | test/analysis/dg_test_06_expected.json | 2 | ||||
| -rw-r--r-- | test/analysis/dg_test_06_implicit_expected.json | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/analysis/dg_test_06_expected.json b/test/analysis/dg_test_06_expected.json index 7d823131..c181cd2d 100644 --- a/test/analysis/dg_test_06_expected.json +++ b/test/analysis/dg_test_06_expected.json @@ -1 +1 @@ -[{"EAX": "0x1", "has_loop": false}, {"EAX": "0x2", "has_loop": true}] +[{"EAX": "0x1", "has_loop": false}, {"EAX": "0x2", "has_loop": false}] diff --git a/test/analysis/dg_test_06_implicit_expected.json b/test/analysis/dg_test_06_implicit_expected.json index 050915c1..bda75296 100644 --- a/test/analysis/dg_test_06_implicit_expected.json +++ b/test/analysis/dg_test_06_implicit_expected.json @@ -1 +1 @@ -[{"has_loop": false, "EAX": "0x1", "satisfiability": true, "constraints": {"EAX_init": "0xffffffff"}}, {"has_loop": true, "EAX": "0x2", "satisfiability": false, "constraints": {}}] +[{"has_loop": false, "EAX": "0x1", "satisfiability": true, "constraints": {"EAX_init": "0xffffffff"}}, {"has_loop": false, "EAX": "0x2", "satisfiability": false, "constraints": {}}] |