From 0aad6093e6f7250d1c9a3da8f1f3ebe171a752dd Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Thu, 5 Jan 2017 10:55:35 +0100 Subject: DepGraph: Add emul regression tests --- test/analysis/dg_test_11_expected.json | 1 + test/analysis/dg_test_11_implicit_expected.json | 1 + 2 files changed, 2 insertions(+) create mode 100755 test/analysis/dg_test_11_expected.json create mode 100644 test/analysis/dg_test_11_implicit_expected.json (limited to 'test/analysis') diff --git a/test/analysis/dg_test_11_expected.json b/test/analysis/dg_test_11_expected.json new file mode 100755 index 00000000..ced55daf --- /dev/null +++ b/test/analysis/dg_test_11_expected.json @@ -0,0 +1 @@ +[{"has_loop": false, "EBX": "0x1"}, {"has_loop": false, "EBX": "0x3"}, {"has_loop": true, "EBX": "0x5"}] diff --git a/test/analysis/dg_test_11_implicit_expected.json b/test/analysis/dg_test_11_implicit_expected.json new file mode 100644 index 00000000..bd0fbf29 --- /dev/null +++ b/test/analysis/dg_test_11_implicit_expected.json @@ -0,0 +1 @@ +[{"has_loop": false, "EBX": "0x1", "satisfiability": true, "constraints": {}}, {"has_loop": false, "EBX": "0x3", "satisfiability": true, "constraints": {}}, {"has_loop": true, "EBX": "0x5", "satisfiability": true, "constraints": {}}] -- cgit 1.4.1