added test script

Saizan · Dec 29, 2017 · f9f793c · f9f793c
1 parent cc4bcc4
commit f9f793c
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test.sh b/test.sh
@@ -0,0 +1,8 @@
+agda --ignore-interfaces examples/Cubical/Examples/Cube.agda || exit 1
+agda --ignore-interfaces examples/Cubical/Examples/Circle.agda || exit 1
+rm -f examples/Cubical/Examples/Stream.agdai
+agda examples/Cubical/Examples/Stream.agda || exit 1
+rm -f src/Cubical/Sub.agdai
+agda src/Cubical/Sub.agda || exit 1
+agda src/Cubical/Everything.agda || exit 1
+agda examples/Cubical/Examples/Everything.agda || exit 1