diff --git a/src/tests/basic.cnf b/src/tests/basic.cnf
new file mode 100644
index 00000000..93a9ac70
--- /dev/null
+++ b/src/tests/basic.cnf
@@ -0,0 +1,10 @@
+p cnf 4 8
+ 1  2 -3 0
+-1 -2  3 0
+ 2  3 -4 0
+-2 -3  4 0
+ 1  3  4 0
+-1 -3 -4 0
+-1  2  4 0
+ 1 -2 -4 0
+
diff --git a/src/tests/basic.drup.expected b/src/tests/basic.drup.expected
new file mode 100644
index 00000000..192e100d
--- /dev/null
+++ b/src/tests/basic.drup.expected
@@ -0,0 +1,4 @@
+-4 -1 0
+-1 0
+-3 0
+ 0
diff --git a/src/tests/dune b/src/tests/dune
index 11edd0e1..886516fc 100644
--- a/src/tests/dune
+++ b/src/tests/dune
@@ -14,3 +14,15 @@
    (progn
      (run ./run_tests.exe alcotest) ; run regressions first
      (run ./run_tests.exe qcheck --verbose))))
+
+(rule
+  (targets basic.drup)
+  (deps (:pb basic.cnf) (:solver ../main/main.exe))
+  (action (run %{solver} %{pb} -t 2 -o %{targets})))
+
+(alias
+ (name runtest)
+ (locks /test)
+ (package sidekick-bin)
+ (action
+   (diff basic.drup basic.drup.expected)))