add system regression testing infrastructure

diff --git a/configure.ac b/configure.ac
index 0b8f8a5f38a9be102958fc0dfc83b3475fabccb8..f16844f4d571af85c10b7e72c779a60649de039f 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -357,6 +357,7 @@ AC_CONFIG_FILES([
   src/theory/uf/Makefile
   test/Makefile
   test/regress/Makefile
+  test/system/Makefile
   test/unit/Makefile
 ])
 

diff --git a/test/Makefile.am b/test/Makefile.am
index ff449f768a291f4dbf972d782bd7d89139fa791f..2be47b41b53eaad1fb3a2d252b519c43e9ed2350 100644 (file)
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -1 +1 @@
-SUBDIRS = unit regress
+SUBDIRS = unit system regress

diff --git a/test/system/Makefile.am b/test/system/Makefile.am
new file mode 100644 (file)
index 0000000..61527e4
--- /dev/null
+++ b/test/system/Makefile.am
@@ -0,0 +1,5 @@
+TESTS_ENVIRONMENT = @top_builddir@/bin/cvc4
+TESTS = \
+       simple.cvc \
+       simple.smt \
+       bug1.cvc