Add a new test runner

certik · certik · commit 3d54474544b3 · 2022-06-09T00:31:55.000-05:00
diff --git a/integration_tests/run_tests.sh b/integration_tests/run_tests.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+set -ex
+
+cmake .
+ctest
+
+cmake -DLPYTHON_BACKEND=llvm .
+make
+ctest
+
+cmake -DLPYTHON_BACKEND=c .
+make
+ctest
