From 2a6248098af6831ce580973f8e9ab4a04bdf7480 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Fri, 21 Oct 2016 14:19:55 -0400
Subject: [PATCH] add a script for loading all files

---
 utils/testall | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 utils/testall

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
-- 
2.34.1