From 33cf73e304741430b11755ec0f5ce301a6b0f3c3 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Fri, 31 Mar 2017 15:17:31 +0200
Subject: [PATCH] [bug] Add test file

---
 tests/sat/test-014.cnf | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/sat/test-014.cnf

diff --git a/tests/sat/test-014.cnf b/tests/sat/test-014.cnf
new file mode 100644
index 00000000..dd0758ee
--- /dev/null
+++ b/tests/sat/test-014.cnf
@@ -0,0 +1,9 @@
+c Doublons test
+p cnf 2 3
+
+c dummy clause that might cause a bug
+-1 1 0
+
+c Clearly SAT clauses
+2 0
+-1 -2 0