diff options
Diffstat (limited to 'test/test_all.py')
| -rw-r--r-- | test/test_all.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/test_all.py b/test/test_all.py index 71ea51a5..bc019104 100644 --- a/test/test_all.py +++ b/test/test_all.py @@ -40,6 +40,15 @@ for script in ["x86/sem.py", "x86/unit/mn_daa.py", "x86/unit/mn_das.py", "x86/unit/mn_int.py", + "x86/unit/mn_pshufb.py", + "x86/unit/mn_psrl_psll.py", + "x86/unit/mn_pmaxu.py", + "x86/unit/mn_pminu.py", + "x86/unit/mn_pcmpeq.py", + "x86/unit/mn_punpck.py", + "x86/unit/mn_pinsr.py", + "x86/unit/mn_pextr.py", + "x86/unit/mn_pmovmskb.py", "arm/arch.py", "arm/sem.py", "aarch64/unit/mn_ubfm.py", @@ -204,6 +213,8 @@ testset += RegressionTest(["analysis.py"], base_dir="ir", for fname in fnames]) testset += RegressionTest(["z3_ir.py"], base_dir="ir/translators", tags=[TAGS["z3"]]) +testset += RegressionTest(["smt2.py"], base_dir="ir/translators", + tags=[TAGS["z3"]]) ## OS_DEP for script in ["win_api_x86_32.py", ]: |