diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2020-10-09 17:47:00 +0200 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2021-06-08 08:11:01 +0200 |
| commit | 2a3c5a4f9db4d4d6e6cadbd5886218054efe6261 (patch) | |
| tree | 8d54a9b3e8a199d578aef71025d16c372c24f6b7 /test/analysis/depgraph.py | |
| parent | 6285271a95f3ec9815728fb808a69bb21b50f770 (diff) | |
| download | miasm-2a3c5a4f9db4d4d6e6cadbd5886218054efe6261.tar.gz miasm-2a3c5a4f9db4d4d6e6cadbd5886218054efe6261.zip | |
Symbols are str instead of bytes
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] |