diff options
Diffstat (limited to 'test/analysis/depgraph.py')
| -rw-r--r-- | test/analysis/depgraph.py | 486 |
1 files changed, 243 insertions, 243 deletions
diff --git a/test/analysis/depgraph.py b/test/analysis/depgraph.py index f0b67737..57a73a5f 100644 --- a/test/analysis/depgraph.py +++ b/test/analysis/depgraph.py @@ -865,253 +865,253 @@ def get_flat_init_depnodes(depnodes): return out # TESTS -flat_test_results = [[(((b'lbl0', 1, 0), (b'lbl0', 'c', 0), (b'lbl1', 'b', 0), (b'lbl2', 'a', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'c', 0)), - ((b'lbl0', 'c', 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0))))], - [(((b'lbl0', 1, 0), - (b'lbl0', 'c', 0), - (b'lbl1', 2, 0), - (b'lbl1', 'b', 0), - (b'lbl2', 'a', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'c', 0)), - ((b'lbl0', 'c', 0), (b'lbl2', 'a', 0)), - ((b'lbl1', 2, 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0))))], - [(((b'lbl0', 1, 0), - (b'lbl0', 'c', 0), - (b'lbl1', 2, 0), - (b'lbl1', 'b', 0), - (b'lbl3', 'a', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'c', 0)), - ((b'lbl0', 'c', 0), (b'lbl3', 'a', 0)), - ((b'lbl1', 2, 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl3', 'a', 0)))), - (((b'lbl0', 1, 0), - (b'lbl0', 'c', 0), - (b'lbl2', 3, 0), - (b'lbl2', 'b', 0), - (b'lbl3', 'a', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'c', 0)), - ((b'lbl0', 'c', 0), (b'lbl3', 'a', 0)), - ((b'lbl2', 3, 0), (b'lbl2', 'b', 0)), - ((b'lbl2', 'b', 0), (b'lbl3', 'a', 0))))], - [(('b', (b'lbl2', 'a', 0)), (('b', (b'lbl2', 'a', 0)),))], - [(((b'lbl0', 1, 0), - (b'lbl0', 'b', 0), - (b'lbl1', 2, 0), - (b'lbl1', 'b', 0), - (b'lbl2', 'a', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'b', 0)), - ((b'lbl0', 'b', 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 2, 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0)))), - (((b'lbl0', 1, 0), - (b'lbl0', 'b', 0), - (b'lbl1', 2, 0), - (b'lbl1', 'b', 0), - (b'lbl2', 'a', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'b', 0)), - ((b'lbl0', 'b', 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 2, 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0))))], - [(((b'lbl0', 1, 0), (b'lbl0', 'b', 0), (b'lbl1', 'a', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'b', 0)), - ((b'lbl0', 'b', 0), (b'lbl1', 'a', 0))))], - [(((b'lbl0', 1, 0), - (b'lbl0', 'c', 0), - (b'lbl1', 'a', 1), - (b'lbl1', 'b', 0), - (b'lbl2', 'd', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'c', 0)), - ((b'lbl0', 'c', 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'a', 1), (b'lbl2', 'd', 0)), - ((b'lbl1', 'b', 0), (b'lbl1', 'a', 1))))], - [(('d', (b'lbl1', 'b', 0), (b'lbl1', 'c', 1), (b'lbl2', 'a', 0)), - (('d', (b'lbl1', 'c', 1)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0)), - ((b'lbl1', 'c', 1), (b'lbl1', 'b', 0)))), - (((b'lbl0', 1, 0), (b'lbl0', 'c', 0), (b'lbl1', 'b', 0), (b'lbl2', 'a', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'c', 0)), - ((b'lbl0', 'c', 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0))))], +flat_test_results = [[((('lbl0', 1, 0), ('lbl0', 'c', 0), ('lbl1', 'b', 0), ('lbl2', 'a', 0)), + ((('lbl0', 1, 0), ('lbl0', 'c', 0)), + (('lbl0', 'c', 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0))))], + [((('lbl0', 1, 0), + ('lbl0', 'c', 0), + ('lbl1', 2, 0), + ('lbl1', 'b', 0), + ('lbl2', 'a', 0)), + ((('lbl0', 1, 0), ('lbl0', 'c', 0)), + (('lbl0', 'c', 0), ('lbl2', 'a', 0)), + (('lbl1', 2, 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0))))], + [((('lbl0', 1, 0), + ('lbl0', 'c', 0), + ('lbl1', 2, 0), + ('lbl1', 'b', 0), + ('lbl3', 'a', 0)), + ((('lbl0', 1, 0), ('lbl0', 'c', 0)), + (('lbl0', 'c', 0), ('lbl3', 'a', 0)), + (('lbl1', 2, 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl3', 'a', 0)))), + ((('lbl0', 1, 0), + ('lbl0', 'c', 0), + ('lbl2', 3, 0), + ('lbl2', 'b', 0), + ('lbl3', 'a', 0)), + ((('lbl0', 1, 0), ('lbl0', 'c', 0)), + (('lbl0', 'c', 0), ('lbl3', 'a', 0)), + (('lbl2', 3, 0), ('lbl2', 'b', 0)), + (('lbl2', 'b', 0), ('lbl3', 'a', 0))))], + [(('b', ('lbl2', 'a', 0)), (('b', ('lbl2', 'a', 0)),))], + [((('lbl0', 1, 0), + ('lbl0', 'b', 0), + ('lbl1', 2, 0), + ('lbl1', 'b', 0), + ('lbl2', 'a', 0)), + ((('lbl0', 1, 0), ('lbl0', 'b', 0)), + (('lbl0', 'b', 0), ('lbl1', 'b', 0)), + (('lbl1', 2, 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0)))), + ((('lbl0', 1, 0), + ('lbl0', 'b', 0), + ('lbl1', 2, 0), + ('lbl1', 'b', 0), + ('lbl2', 'a', 0)), + ((('lbl0', 1, 0), ('lbl0', 'b', 0)), + (('lbl0', 'b', 0), ('lbl1', 'b', 0)), + (('lbl1', 2, 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0))))], + [((('lbl0', 1, 0), ('lbl0', 'b', 0), ('lbl1', 'a', 0)), + ((('lbl0', 1, 0), ('lbl0', 'b', 0)), + (('lbl0', 'b', 0), ('lbl1', 'a', 0))))], + [((('lbl0', 1, 0), + ('lbl0', 'c', 0), + ('lbl1', 'a', 1), + ('lbl1', 'b', 0), + ('lbl2', 'd', 0)), + ((('lbl0', 1, 0), ('lbl0', 'c', 0)), + (('lbl0', 'c', 0), ('lbl1', 'b', 0)), + (('lbl1', 'a', 1), ('lbl2', 'd', 0)), + (('lbl1', 'b', 0), ('lbl1', 'a', 1))))], + [(('d', ('lbl1', 'b', 0), ('lbl1', 'c', 1), ('lbl2', 'a', 0)), + (('d', ('lbl1', 'c', 1)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0)), + (('lbl1', 'c', 1), ('lbl1', 'b', 0)))), + ((('lbl0', 1, 0), ('lbl0', 'c', 0), ('lbl1', 'b', 0), ('lbl2', 'a', 0)), + ((('lbl0', 1, 0), ('lbl0', 'c', 0)), + (('lbl0', 'c', 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0))))], [(('d', - (b'lbl0', 1, 0), - (b'lbl0', 'c', 0), - (b'lbl1', 'b', 0), - (b'lbl1', 'c', 1), - (b'lbl2', 'a', 0)), - (('d', (b'lbl1', 'c', 1)), - ((b'lbl0', 1, 0), (b'lbl0', 'c', 0)), - ((b'lbl0', 'c', 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0)))), - (('d', (b'lbl1', 'b', 0), (b'lbl1', 'c', 1), (b'lbl2', 'a', 0)), - (('d', (b'lbl1', 'c', 1)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0)), - ((b'lbl1', 'c', 1), (b'lbl1', 'b', 0))))], - [(('b', (b'lbl1', 2, 0), (b'lbl1', 'b', 0), (b'lbl2', 'a', 0)), - (('b', (b'lbl1', 'b', 0)), - ((b'lbl1', 2, 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0)))), - (('b', (b'lbl1', 2, 0), (b'lbl1', 'b', 0), (b'lbl2', 'a', 0)), - (('b', (b'lbl1', 'b', 0)), - ((b'lbl1', 2, 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0))))], - [(((b'lbl0', 1, 0), - (b'lbl0', 2, 0), - (b'lbl0', 'a', 0), - (b'lbl0', 'b', 0), - (b'lbl1', 'a', 0), - (b'lbl1', 'b', 0), - (b'lbl2', 'a', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'a', 0)), - ((b'lbl0', 2, 0), (b'lbl0', 'b', 0)), - ((b'lbl0', 'a', 0), (b'lbl1', 'b', 0)), - ((b'lbl0', 'b', 0), (b'lbl1', 'a', 0)), - ((b'lbl1', 'a', 0), (b'lbl2', 'a', 0)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0))))], - [(((b'lbl0', 1, 0), - (b'lbl0', 'b', 0), - (b'lbl1', 2, 1), - (b'lbl1', 'a', 0), - (b'lbl1', 'b', 1), - (b'lbl2', 'b', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'b', 0)), - ((b'lbl0', 'b', 0), (b'lbl1', 'b', 1)), - ((b'lbl1', 2, 1), (b'lbl1', 'b', 1)), - ((b'lbl1', 'a', 0), (b'lbl2', 'b', 0)), - ((b'lbl1', 'b', 1), (b'lbl1', 'a', 0)))), - (((b'lbl0', 1, 0), - (b'lbl0', 'b', 0), - (b'lbl1', 2, 1), - (b'lbl1', 'a', 0), - (b'lbl1', 'b', 1), - (b'lbl2', 'b', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'b', 0)), - ((b'lbl0', 'b', 0), (b'lbl1', 'b', 1)), - ((b'lbl1', 2, 1), (b'lbl1', 'b', 1)), - ((b'lbl1', 'a', 0), (b'lbl2', 'b', 0)), - ((b'lbl1', 'b', 1), (b'lbl1', 'a', 0)), - ((b'lbl1', 'b', 1), (b'lbl1', 'b', 1)))), - (((b'lbl0', 1, 0), (b'lbl0', 'b', 0), (b'lbl1', 'a', 0), (b'lbl2', 'b', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'b', 0)), - ((b'lbl0', 'b', 0), (b'lbl1', 'a', 0)), - ((b'lbl1', 'a', 0), (b'lbl2', 'b', 0))))], - [(((b'lbl0', 1, 0), - (b'lbl0', 'a', 0), - (b'lbl1', 'c', 0), - (b'lbl2', 3, 0), - (b'lbl2', 3, 1), - (b'lbl2', 'a', 1), - (b'lbl2', 'b', 0), - (b'lbl3', 'r', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'a', 0)), - ((b'lbl0', 'a', 0), (b'lbl2', 'b', 0)), - ((b'lbl1', 'c', 0), (b'lbl3', 'r', 0)), - ((b'lbl2', 3, 0), (b'lbl2', 'b', 0)), - ((b'lbl2', 3, 1), (b'lbl2', 'a', 1)), - ((b'lbl2', 'a', 1), (b'lbl1', 'c', 0)), - ((b'lbl2', 'a', 1), (b'lbl2', 'b', 0)), - ((b'lbl2', 'b', 0), (b'lbl2', 'a', 1)))), - (((b'lbl0', 1, 0), - (b'lbl0', 'a', 0), - (b'lbl1', 'c', 0), - (b'lbl2', 3, 0), - (b'lbl2', 3, 1), - (b'lbl2', 'a', 1), - (b'lbl2', 'b', 0), - (b'lbl3', 'r', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'a', 0)), - ((b'lbl0', 'a', 0), (b'lbl2', 'b', 0)), - ((b'lbl1', 'c', 0), (b'lbl3', 'r', 0)), - ((b'lbl2', 3, 0), (b'lbl2', 'b', 0)), - ((b'lbl2', 3, 1), (b'lbl2', 'a', 1)), - ((b'lbl2', 'a', 1), (b'lbl1', 'c', 0)), - ((b'lbl2', 'b', 0), (b'lbl2', 'a', 1)))), - (((b'lbl0', 1, 0), (b'lbl0', 'a', 0), (b'lbl1', 'c', 0), (b'lbl3', 'r', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'a', 0)), - ((b'lbl0', 'a', 0), (b'lbl1', 'c', 0)), - ((b'lbl1', 'c', 0), (b'lbl3', 'r', 0))))], + ('lbl0', 1, 0), + ('lbl0', 'c', 0), + ('lbl1', 'b', 0), + ('lbl1', 'c', 1), + ('lbl2', 'a', 0)), + (('d', ('lbl1', 'c', 1)), + (('lbl0', 1, 0), ('lbl0', 'c', 0)), + (('lbl0', 'c', 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0)))), + (('d', ('lbl1', 'b', 0), ('lbl1', 'c', 1), ('lbl2', 'a', 0)), + (('d', ('lbl1', 'c', 1)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0)), + (('lbl1', 'c', 1), ('lbl1', 'b', 0))))], + [(('b', ('lbl1', 2, 0), ('lbl1', 'b', 0), ('lbl2', 'a', 0)), + (('b', ('lbl1', 'b', 0)), + (('lbl1', 2, 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0)))), + (('b', ('lbl1', 2, 0), ('lbl1', 'b', 0), ('lbl2', 'a', 0)), + (('b', ('lbl1', 'b', 0)), + (('lbl1', 2, 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0))))], + [((('lbl0', 1, 0), + ('lbl0', 2, 0), + ('lbl0', 'a', 0), + ('lbl0', 'b', 0), + ('lbl1', 'a', 0), + ('lbl1', 'b', 0), + ('lbl2', 'a', 0)), + ((('lbl0', 1, 0), ('lbl0', 'a', 0)), + (('lbl0', 2, 0), ('lbl0', 'b', 0)), + (('lbl0', 'a', 0), ('lbl1', 'b', 0)), + (('lbl0', 'b', 0), ('lbl1', 'a', 0)), + (('lbl1', 'a', 0), ('lbl2', 'a', 0)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0))))], + [((('lbl0', 1, 0), + ('lbl0', 'b', 0), + ('lbl1', 2, 1), + ('lbl1', 'a', 0), + ('lbl1', 'b', 1), + ('lbl2', 'b', 0)), + ((('lbl0', 1, 0), ('lbl0', 'b', 0)), + (('lbl0', 'b', 0), ('lbl1', 'b', 1)), + (('lbl1', 2, 1), ('lbl1', 'b', 1)), + (('lbl1', 'a', 0), ('lbl2', 'b', 0)), + (('lbl1', 'b', 1), ('lbl1', 'a', 0)))), + ((('lbl0', 1, 0), + ('lbl0', 'b', 0), + ('lbl1', 2, 1), + ('lbl1', 'a', 0), + ('lbl1', 'b', 1), + ('lbl2', 'b', 0)), + ((('lbl0', 1, 0), ('lbl0', 'b', 0)), + (('lbl0', 'b', 0), ('lbl1', 'b', 1)), + (('lbl1', 2, 1), ('lbl1', 'b', 1)), + (('lbl1', 'a', 0), ('lbl2', 'b', 0)), + (('lbl1', 'b', 1), ('lbl1', 'a', 0)), + (('lbl1', 'b', 1), ('lbl1', 'b', 1)))), + ((('lbl0', 1, 0), ('lbl0', 'b', 0), ('lbl1', 'a', 0), ('lbl2', 'b', 0)), + ((('lbl0', 1, 0), ('lbl0', 'b', 0)), + (('lbl0', 'b', 0), ('lbl1', 'a', 0)), + (('lbl1', 'a', 0), ('lbl2', 'b', 0))))], + [((('lbl0', 1, 0), + ('lbl0', 'a', 0), + ('lbl1', 'c', 0), + ('lbl2', 3, 0), + ('lbl2', 3, 1), + ('lbl2', 'a', 1), + ('lbl2', 'b', 0), + ('lbl3', 'r', 0)), + ((('lbl0', 1, 0), ('lbl0', 'a', 0)), + (('lbl0', 'a', 0), ('lbl2', 'b', 0)), + (('lbl1', 'c', 0), ('lbl3', 'r', 0)), + (('lbl2', 3, 0), ('lbl2', 'b', 0)), + (('lbl2', 3, 1), ('lbl2', 'a', 1)), + (('lbl2', 'a', 1), ('lbl1', 'c', 0)), + (('lbl2', 'a', 1), ('lbl2', 'b', 0)), + (('lbl2', 'b', 0), ('lbl2', 'a', 1)))), + ((('lbl0', 1, 0), + ('lbl0', 'a', 0), + ('lbl1', 'c', 0), + ('lbl2', 3, 0), + ('lbl2', 3, 1), + ('lbl2', 'a', 1), + ('lbl2', 'b', 0), + ('lbl3', 'r', 0)), + ((('lbl0', 1, 0), ('lbl0', 'a', 0)), + (('lbl0', 'a', 0), ('lbl2', 'b', 0)), + (('lbl1', 'c', 0), ('lbl3', 'r', 0)), + (('lbl2', 3, 0), ('lbl2', 'b', 0)), + (('lbl2', 3, 1), ('lbl2', 'a', 1)), + (('lbl2', 'a', 1), ('lbl1', 'c', 0)), + (('lbl2', 'b', 0), ('lbl2', 'a', 1)))), + ((('lbl0', 1, 0), ('lbl0', 'a', 0), ('lbl1', 'c', 0), ('lbl3', 'r', 0)), + ((('lbl0', 1, 0), ('lbl0', 'a', 0)), + (('lbl0', 'a', 0), ('lbl1', 'c', 0)), + (('lbl1', 'c', 0), ('lbl3', 'r', 0))))], [(('d', - (b'lbl0', 1, 0), - (b'lbl0', 'a', 0), - (b'lbl1', 'b', 0), - (b'lbl3', 'r', 0)), - (('d', (b'lbl3', 'r', 0)), - ((b'lbl0', 1, 0), (b'lbl0', 'a', 0)), - ((b'lbl0', 'a', 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'b', 0), (b'lbl3', 'r', 0)))), - (((b'lbl0', 1, 0), - (b'lbl0', 'a', 0), - (b'lbl1', 'b', 0), - (b'lbl2', 1, 1), - (b'lbl2', 'a', 1), - (b'lbl2', 'd', 0), - (b'lbl3', 'r', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'a', 0)), - ((b'lbl0', 'a', 0), (b'lbl2', 'd', 0)), - ((b'lbl1', 'b', 0), (b'lbl3', 'r', 0)), - ((b'lbl2', 1, 1), (b'lbl2', 'a', 1)), - ((b'lbl2', 'a', 1), (b'lbl1', 'b', 0)), - ((b'lbl2', 'a', 1), (b'lbl2', 'd', 0)), - ((b'lbl2', 'd', 0), (b'lbl2', 'a', 1)), - ((b'lbl2', 'd', 0), (b'lbl3', 'r', 0)))), - (((b'lbl0', 1, 0), - (b'lbl0', 'a', 0), - (b'lbl1', 'b', 0), - (b'lbl2', 1, 1), - (b'lbl2', 'a', 1), - (b'lbl2', 'd', 0), - (b'lbl3', 'r', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'a', 0)), - ((b'lbl0', 'a', 0), (b'lbl2', 'd', 0)), - ((b'lbl1', 'b', 0), (b'lbl3', 'r', 0)), - ((b'lbl2', 1, 1), (b'lbl2', 'a', 1)), - ((b'lbl2', 'a', 1), (b'lbl1', 'b', 0)), - ((b'lbl2', 'd', 0), (b'lbl2', 'a', 1)), - ((b'lbl2', 'd', 0), (b'lbl3', 'r', 0))))], + ('lbl0', 1, 0), + ('lbl0', 'a', 0), + ('lbl1', 'b', 0), + ('lbl3', 'r', 0)), + (('d', ('lbl3', 'r', 0)), + (('lbl0', 1, 0), ('lbl0', 'a', 0)), + (('lbl0', 'a', 0), ('lbl1', 'b', 0)), + (('lbl1', 'b', 0), ('lbl3', 'r', 0)))), + ((('lbl0', 1, 0), + ('lbl0', 'a', 0), + ('lbl1', 'b', 0), + ('lbl2', 1, 1), + ('lbl2', 'a', 1), + ('lbl2', 'd', 0), + ('lbl3', 'r', 0)), + ((('lbl0', 1, 0), ('lbl0', 'a', 0)), + (('lbl0', 'a', 0), ('lbl2', 'd', 0)), + (('lbl1', 'b', 0), ('lbl3', 'r', 0)), + (('lbl2', 1, 1), ('lbl2', 'a', 1)), + (('lbl2', 'a', 1), ('lbl1', 'b', 0)), + (('lbl2', 'a', 1), ('lbl2', 'd', 0)), + (('lbl2', 'd', 0), ('lbl2', 'a', 1)), + (('lbl2', 'd', 0), ('lbl3', 'r', 0)))), + ((('lbl0', 1, 0), + ('lbl0', 'a', 0), + ('lbl1', 'b', 0), + ('lbl2', 1, 1), + ('lbl2', 'a', 1), + ('lbl2', 'd', 0), + ('lbl3', 'r', 0)), + ((('lbl0', 1, 0), ('lbl0', 'a', 0)), + (('lbl0', 'a', 0), ('lbl2', 'd', 0)), + (('lbl1', 'b', 0), ('lbl3', 'r', 0)), + (('lbl2', 1, 1), ('lbl2', 'a', 1)), + (('lbl2', 'a', 1), ('lbl1', 'b', 0)), + (('lbl2', 'd', 0), ('lbl2', 'a', 1)), + (('lbl2', 'd', 0), ('lbl3', 'r', 0))))], [(('b', - (b'lbl0', 1, 0), - (b'lbl0', 'a', 0), - (b'lbl1', 'b', 2), - (b'lbl1', 'c', 1), - (b'lbl1', 'd', 0), - (b'lbl2', 'r', 0)), - (('b', (b'lbl1', 'd', 0)), - ((b'lbl0', 1, 0), (b'lbl0', 'a', 0)), - ((b'lbl0', 'a', 0), (b'lbl1', 'd', 0)), - ((b'lbl1', 'b', 2), (b'lbl1', 'd', 0)), - ((b'lbl1', 'b', 2), (b'lbl2', 'r', 0)), - ((b'lbl1', 'c', 1), (b'lbl1', 'b', 2)), - ((b'lbl1', 'd', 0), (b'lbl1', 'c', 1)))), + ('lbl0', 1, 0), + ('lbl0', 'a', 0), + ('lbl1', 'b', 2), + ('lbl1', 'c', 1), + ('lbl1', 'd', 0), + ('lbl2', 'r', 0)), + (('b', ('lbl1', 'd', 0)), + (('lbl0', 1, 0), ('lbl0', 'a', 0)), + (('lbl0', 'a', 0), ('lbl1', 'd', 0)), + (('lbl1', 'b', 2), ('lbl1', 'd', 0)), + (('lbl1', 'b', 2), ('lbl2', 'r', 0)), + (('lbl1', 'c', 1), ('lbl1', 'b', 2)), + (('lbl1', 'd', 0), ('lbl1', 'c', 1)))), (('b', - (b'lbl0', 1, 0), - (b'lbl0', 'a', 0), - (b'lbl1', 'b', 2), - (b'lbl1', 'c', 1), - (b'lbl1', 'd', 0), - (b'lbl2', 'r', 0)), - (('b', (b'lbl1', 'd', 0)), - ((b'lbl0', 1, 0), (b'lbl0', 'a', 0)), - ((b'lbl0', 'a', 0), (b'lbl1', 'd', 0)), - ((b'lbl1', 'b', 2), (b'lbl2', 'r', 0)), - ((b'lbl1', 'c', 1), (b'lbl1', 'b', 2)), - ((b'lbl1', 'd', 0), (b'lbl1', 'c', 1))))], - [(((b'lbl0', 1, 0), (b'lbl0', 'a', 0), (b'lbl5', 'r', 0)), - (((b'lbl0', 1, 0), (b'lbl0', 'a', 0)), - ((b'lbl0', 'a', 0), (b'lbl5', 'r', 0))))], - [(((b'lbl0', 2, 0), - (b'lbl0', 'd', 0), - (b'lbl1', 'a', 0), - (b'lbl1', 'b', 0), - (b'lbl2', 'a', 0)), - (((b'lbl0', 2, 0), (b'lbl0', 'd', 0)), - ((b'lbl0', 'd', 0), (b'lbl1', 'a', 0)), - ((b'lbl0', 'd', 0), (b'lbl1', 'b', 0)), - ((b'lbl1', 'a', 0), (b'lbl2', 'a', 0)), - ((b'lbl1', 'b', 0), (b'lbl2', 'a', 0))))]] + ('lbl0', 1, 0), + ('lbl0', 'a', 0), + ('lbl1', 'b', 2), + ('lbl1', 'c', 1), + ('lbl1', 'd', 0), + ('lbl2', 'r', 0)), + (('b', ('lbl1', 'd', 0)), + (('lbl0', 1, 0), ('lbl0', 'a', 0)), + (('lbl0', 'a', 0), ('lbl1', 'd', 0)), + (('lbl1', 'b', 2), ('lbl2', 'r', 0)), + (('lbl1', 'c', 1), ('lbl1', 'b', 2)), + (('lbl1', 'd', 0), ('lbl1', 'c', 1))))], + [((('lbl0', 1, 0), ('lbl0', 'a', 0), ('lbl5', 'r', 0)), + ((('lbl0', 1, 0), ('lbl0', 'a', 0)), + (('lbl0', 'a', 0), ('lbl5', 'r', 0))))], + [((('lbl0', 2, 0), + ('lbl0', 'd', 0), + ('lbl1', 'a', 0), + ('lbl1', 'b', 0), + ('lbl2', 'a', 0)), + ((('lbl0', 2, 0), ('lbl0', 'd', 0)), + (('lbl0', 'd', 0), ('lbl1', 'a', 0)), + (('lbl0', 'd', 0), ('lbl1', 'b', 0)), + (('lbl1', 'a', 0), ('lbl2', 'a', 0)), + (('lbl1', 'b', 0), ('lbl2', 'a', 0))))]] test_results = [[unflatGraph(flat_result) for flat_result in flat_results] for flat_results in flat_test_results] |