From 8c436da764b0616976c74c43fefd5494d3889ebb Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Wed, 23 Mar 2016 16:29:53 +0100 Subject: Depgraph: use has_loop algorithm to spot data flow loops; fix reg test --- test/analysis/dg_test_06_expected.json | 2 +- test/analysis/dg_test_06_implicit_expected.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'test') 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": {}}] -- cgit 1.4.1