diff options
| author | Caroline Leman <caroline.leman@cea.fr> | 2015-04-29 13:01:06 +0200 |
|---|---|---|
| committer | Caroline LEMAN <caroline.leman@cea.fr> | 2015-04-29 14:32:55 +0200 |
| commit | 1e671fef63b3f1b3f6963ca7e0ac9e1b783b4195 (patch) | |
| tree | e881fd2471bda47cc071a5de51527ed01a75d966 /test/test_all.py | |
| parent | 52c87a2468ce235717a13e31f65cdf32683bf430 (diff) | |
| download | miasm-1e671fef63b3f1b3f6963ca7e0ac9e1b783b4195.tar.gz miasm-1e671fef63b3f1b3f6963ca7e0ac9e1b783b4195.zip | |
IR: Regression test integration
Diffstat (limited to 'test/test_all.py')
| -rw-r--r-- | test/test_all.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/test_all.py b/test/test_all.py index df07aac5..f52856a3 100644 --- a/test/test_all.py +++ b/test/test_all.py @@ -117,6 +117,11 @@ for script in ["ir2C.py", "symbexec.py", ]: testset += RegressionTest([script], base_dir="ir") +testset += RegressionTest(["analysis.py"], base_dir="ir", + products=[fname for fnames in ( + ["simp_graph_%02d.dot" % test_nb, "graph_%02d.dot" % test_nb] + for test_nb in xrange(1, 18)) + for fname in fnames]) testset += RegressionTest(["z3_ir.py"], base_dir="ir/translators", tags=[TAGS["z3"]]) ## OS_DEP |