From 45519ae89ceef4c838cdd52e2bbaa4174e63f27d Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 7 Feb 2018 19:39:32 +0000
Subject: Setup test suite for C backend

---
 test/run_tests.sh | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'test/run_tests.sh')

diff --git a/test/run_tests.sh b/test/run_tests.sh
index b3224aea..45013f0d 100755
--- a/test/run_tests.sh
+++ b/test/run_tests.sh
@@ -17,6 +17,12 @@ printf "******************************************\n\n"
 
 ./test/ocaml/run_tests.sh
 
+printf "******************************************\n"
+printf "* C tests                                *\n"
+printf "******************************************\n\n"
+
+./test/c/run_tests.sh
+
 printf "******************************************\n"
 printf "* Lem tests                              *\n"
 printf "******************************************\n\n"
-- 
cgit v1.2.3