diff options
| author | Caroline Leman <caroline.leman@cea.fr> | 2015-08-05 10:36:45 +0200 |
|---|---|---|
| committer | Caroline Leman <caroline.leman@cea.fr> | 2015-08-05 13:46:29 +0200 |
| commit | b8b0e21a267b7f60ec31cc4a8f9cfa71e6c8798b (patch) | |
| tree | 4f2af66714677bb7e898043ac626193a9c4b549e /test/test_all.py | |
| parent | 1d48224cd34d1a18763e47f3f61c5340b9587c7e (diff) | |
| download | miasm-b8b0e21a267b7f60ec31cc4a8f9cfa71e6c8798b.tar.gz miasm-b8b0e21a267b7f60ec31cc4a8f9cfa71e6c8798b.zip | |
Analysis/Depgraph: DependecyGraph precision improvement + regressions tests.
The DependencyNodes are now distincts, in order to handle dependency loops p (cf test graph 13) The emulation part of DependencyResult will emulate the value along the path specified by the DependencyGraph (loops included). This commit includes depgraph regression tests.
Diffstat (limited to 'test/test_all.py')
| -rw-r--r-- | test/test_all.py | 31 |
1 files changed, 15 insertions, 16 deletions
diff --git a/test/test_all.py b/test/test_all.py index 55e69e70..b5dc0abf 100644 --- a/test/test_all.py +++ b/test/test_all.py @@ -135,22 +135,21 @@ for script in ["win_api_x86_32.py", ## Analysis testset += RegressionTest(["depgraph.py"], base_dir="analysis", - products=["graph_test_01_00.dot", - "graph_test_02_00.dot", - "graph_test_03_00.dot", - "graph_test_03_01.dot", - "graph_test_04_00.dot", - "graph_test_05_00.dot", - "graph_test_06_00.dot", - "graph_test_07_00.dot", - "graph_test_08_00.dot", - "graph_test_08_01.dot", - "graph_test_09_00.dot", - "graph_test_09_01.dot", - "graph_test_10_00.dot", - "graph_test_11_00.dot", - ] + ["graph_%02d.dot" % test_nb - for test_nb in xrange(1, 12)]) + products=[fname for fnames in ( + ["graph_test_%02d_00.dot" % test_nb, + "graph_%02d.dot" % test_nb] + for test_nb in xrange(1, 17)) + for fname in fnames] + + ["graph_test_03_01.dot", + "graph_test_05_01.dot", + "graph_test_08_01.dot", + "graph_test_09_01.dot", + "graph_test_10_01.dot", + "graph_test_12_01.dot", + "graph_test_13_01.dot", + "graph_test_14_01.dot", + "graph_test_15_01.dot" + ]) # Examples class Example(Test): |