From 8fc318b75ef50b9a110a4f4a3b60737d478603c9 Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Tue, 10 May 2022 11:48:53 +0200
Subject: [PATCH] Tests

---
 Makefile          | 5 ++++-
 tests/test02.8pus | 4 ++++
 tests/test03.8pus | 5 +++++
 3 files changed, 13 insertions(+), 1 deletion(-)
 create mode 100644 tests/test02.8pus
 create mode 100644 tests/test03.8pus

diff --git a/Makefile b/Makefile
index cc44640..cb13b7d 100644
--- a/Makefile
+++ b/Makefile
@@ -10,8 +10,11 @@ main.byte:
 
 byte: main.byte
 
-.PHONY: clean test
+test: all
+	  for f in tests/*.8pus; do echo "### Testing $$f:"; ./pieuvre $$f; echo ""; done
 
 clean:
 	ocamlbuild -clean
 	rm -f pieuvre
+
+.PHONY: clean test
diff --git a/tests/test02.8pus b/tests/test02.8pus
new file mode 100644
index 0000000..a3c29e2
--- /dev/null
+++ b/tests/test02.8pus
@@ -0,0 +1,4 @@
+A -> B -> A
+intro a.
+intro b.
+assumption.
diff --git a/tests/test03.8pus b/tests/test03.8pus
new file mode 100644
index 0000000..f5fb638
--- /dev/null
+++ b/tests/test03.8pus
@@ -0,0 +1,5 @@
+A -> (A -> B) -> B
+intro a.
+intro f.
+apply f.
+assumption.