CI: Add monomorphisation tests to CI (#1001)

rems-project · Feb 14, 2025 · 39ff330 · 39ff330
1 parent bceade0
commit 39ff330
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/etc/ci_coverage_tests.sh b/etc/ci_coverage_tests.sh
@@ -20,6 +20,7 @@ elif [ "$1" = "prover" ]; then
 elif [ "$1" = "other" ]; then
     test/lexing/run_tests.py || returncode=1
     test/pattern_completeness/run_tests.py || returncode=1
+    test/mono/run_tests.py || returncode=1
     test/sailcov/run_tests.py || returncode=1
     test/format/run_tests.py || returncode=1
     test/oneoff/run_tests.py || returncode=1

diff --git a/test/mono/run_tests.py b/test/mono/run_tests.py
@@ -57,7 +57,7 @@ def test():
     return results.finish()
 
 xml = '<testsuites>\n'
-xml = test()
+xml += test()
 xml += '</testsuites>\n'
 
 output = open('tests.xml', 'w')