From 4ec26c81830b26957dfac205eb60b522890fb007 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Tue, 23 Jan 2018 19:51:39 +0000
Subject: Run tests for Lem shallow embedding

Uses the typechecker tests for now.  Also fix two minor bugs in pretty-printer
and rewriter uncovered by the tests.
---
 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 fc93929f..b3224aea 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 "* Lem tests                              *\n"
+printf "******************************************\n\n"
+
+./test/lem/run_tests.sh
+
 printf "******************************************\n"
 printf "* ARM spec tests                         *\n"
 printf "******************************************\n\n"
-- 
cgit v1.2.3