From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Fri, 21 Oct 2016 18:19:55 +0000 (-0400)
Subject: add a script for loading all files
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=2a6248098af6831ce580973f8e9ab4a04bdf7480;p=cubicaltt.git

add a script for loading all files
---

diff --git a/utils/testall b/utils/testall
new file mode 100755
index 0000000..dc55ad1
--- /dev/null
+++ b/utils/testall
@@ -0,0 +1,9 @@
+files="binnat bool category circle collection csystem demo discor
+       equiv groupoidTrunc hedberg helix hnat hz idtypes injective int
+       integer interval list nat ordinal pi prelude propTrunc retract
+       setquot sigma subset susp torsor torus univalence"
+
+for file in $files
+do
+  ./cubical -b examples/$file.ctt
+done
\ No newline at end of file