From 5f84352f338d210633d57e588e02ea9ad4368bd3 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Sat, 1 Nov 2014 21:49:26 +0100
Subject: [PATCH] Trivial test

---
 tests/test-0.d | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 tests/test-0.d

diff --git a/tests/test-0.d b/tests/test-0.d
new file mode 100644
index 00000000..527f6034
--- /dev/null
+++ b/tests/test-0.d
@@ -0,0 +1,3 @@
+c First test
+p cnf 2 1
+1 2 0