diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2015-02-25 11:23:00 +0100 |
|---|---|---|
| committer | serpilliere <fabrice.desclaux@cea.fr> | 2015-03-12 21:15:06 +0100 |
| commit | 07c41ae8ee2b8fb8aaa117eb27af2d8a91a18e5d (patch) | |
| tree | c032934d920e1288ffd5cb3f1ed7de031d4cc2a3 /test/core/graph.py | |
| parent | a84279657f4957fc5a7ffb4e5ef0df587984eb8a (diff) | |
| download | miasm-07c41ae8ee2b8fb8aaa117eb27af2d8a91a18e5d.tar.gz miasm-07c41ae8ee2b8fb8aaa117eb27af2d8a91a18e5d.zip | |
Test/Graph: add reg tests
Diffstat (limited to 'test/core/graph.py')
| -rw-r--r-- | test/core/graph.py | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/core/graph.py b/test/core/graph.py index e7078cdb..b5bc4b80 100644 --- a/test/core/graph.py +++ b/test/core/graph.py @@ -39,3 +39,17 @@ assert(dominators[3] == set([1, 2, 3])) assert(dominators[4] == set([1, 2, 4])) assert(dominators[5] == set([1, 2, 5])) assert(dominators[6] == set([1, 2, 6])) + +# Regression test with multiple heads +g2 = DiGraph() +g2.add_edge(1, 2) +g2.add_edge(2, 3) +g2.add_edge(3, 4) +g2.add_edge(5, 6) +g2.add_edge(6, 3) + +dominators = g2.compute_dominators(5) +assert(dominators[3] == set([3, 5, 6])) +assert(dominators[4] == set([3, 4, 5, 6])) +assert(dominators[5] == set([5])) +assert(dominators[6] == set([5, 6])) |