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.