add a script for loading all files

diff --git a/utils/testall b/utils/testall
new file mode 100755 (executable)
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