about summary refs log tree commit diff stats
path: root/test/test_all.py
diff options
context:
space:
mode:
Diffstat (limited to 'test/test_all.py')
-rwxr-xr-xtest/test_all.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/test_all.py b/test/test_all.py
index 48ce76ba..d2c3e5e2 100755
--- a/test/test_all.py
+++ b/test/test_all.py
@@ -245,6 +245,7 @@ for script in ["modint.py",
 
 ## IR
 for script in ["symbexec.py",
+               "ir.py",
                ]:
     testset += RegressionTest([script], base_dir="ir")