diff options
| author | Tim Blazytko <tim.blazytko@rub.de> | 2015-06-02 15:39:19 +0200 |
|---|---|---|
| committer | Tim Blazytko <tim.blazytko@rub.de> | 2015-06-02 15:39:19 +0200 |
| commit | f6e00985a3e59f1f4813751572b5981d4dd1e6f4 (patch) | |
| tree | 268b3e912470aad2e1e232c42f36f03019829bc6 /test/core/graph.py | |
| parent | 7a63b077f44fa37ad2aecf3ce9c7f2379038f76e (diff) | |
| download | miasm-f6e00985a3e59f1f4813751572b5981d4dd1e6f4.tar.gz miasm-f6e00985a3e59f1f4813751572b5981d4dd1e6f4.zip | |
Test/Graph: extended regression tests for g2
Diffstat (limited to 'test/core/graph.py')
| -rw-r--r-- | test/core/graph.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/core/graph.py b/test/core/graph.py index 85218a1c..5100cf8d 100644 --- a/test/core/graph.py +++ b/test/core/graph.py @@ -75,6 +75,9 @@ assert(list(g2.walk_dominators(3, dominators)) == [6, 5]) assert(list(g2.walk_dominators(4, dominators)) == [3, 6, 5]) assert(list(g2.walk_dominators(5, dominators)) == []) assert(list(g2.walk_dominators(6, dominators)) == [5]) +assert(list(g2.walk_dominators(7, dominators)) == [4, 3, 6, 5]) +assert(list(g2.walk_dominators(8, dominators)) == [4, 3, 6, 5]) +assert(list(g2.walk_dominators(9, dominators)) == [4, 3, 6, 5]) postdominators = g1.compute_postdominators(6) assert(postdominators == {1: set([1, 2, 6]), @@ -120,6 +123,10 @@ assert(list(g2.walk_postdominators(3, postdominators)) == [4]) assert(list(g2.walk_postdominators(4, postdominators)) == []) assert(list(g2.walk_postdominators(5, postdominators)) == [6, 3, 4]) assert(list(g2.walk_postdominators(6, postdominators)) == [3, 4]) +assert(list(g2.walk_postdominators(7, postdominators)) == []) +assert(list(g2.walk_postdominators(8, postdominators)) == []) +assert(list(g2.walk_postdominators(9, postdominators)) == []) + idoms = g1.compute_immediate_dominators(1) assert(idoms == {2: 1, |