diff --git a/tests/dune b/tests/dune
new file mode 100644
index 00000000..34c62686
--- /dev/null
+++ b/tests/dune
@@ -0,0 +1,15 @@
+
+(executable
+  (name test_api)
+  (libraries msat msat.tseitin msat.backend minismt.sat minismt.smt minismt.mcsat dolmen)
+  (flags :standard -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string)
+  (ocamlopt_flags :standard -O3 -color always
+                  -unbox-closures -unbox-closures-factor 20)
+  )
+
+(alias
+ (name    runtest)
+ (deps    test_api.exe)
+ (action  (run %{deps})))
+
+
diff --git a/tests/jbuild b/tests/jbuild
deleted file mode 100644
index deab296d..00000000
--- a/tests/jbuild
+++ /dev/null
@@ -1,16 +0,0 @@
-; vim:ft=lisp:
-
-(executable
-  ((name test_api)
-   (libraries (msat msat.tseitin msat.backend minismt.sat minismt.smt minismt.mcsat dolmen))
-   (flags (:standard -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string))
-   (ocamlopt_flags (:standard -O3 -color always
-                    -unbox-closures -unbox-closures-factor 20))
-  ))
-
-(alias
- ((name    runtest)
-  (deps    (test_api.exe))
-  (action  (run ${<}))))
-
-