diff --git a/tests/dune.inc b/tests/dune.inc
index ffbb781854..3f4a2e54af 100644
--- a/tests/dune.inc
+++ b/tests/dune.inc
@@ -155091,27 +155091,6 @@
      (package alt-ergo)
       (action
        (diff testfile-tab001.expected testfile-tab001_fpa.output)))
-  (rule
-   (target testfile-smt-instr-get-info.dolmen_dolmen.output)
-   (deps (:input testfile-smt-instr-get-info.dolmen.smt2))
-   (package alt-ergo)
-   (action
-    (chdir %{workspace_root}
-     (with-stdout-to %{target}
-      (ignore-stderr
-       (with-accepted-exit-codes 0
-        (run %{bin:alt-ergo}
-             --timelimit=2
-             --enable-assertions
-             --output=smtlib2
-             --frontend dolmen
-             %{input})))))))
-  (rule
-   (deps testfile-smt-instr-get-info.dolmen_dolmen.output)
-    (alias runtest-quick)
-     (package alt-ergo)
-      (action
-       (diff testfile-smt-instr-get-info.dolmen.expected testfile-smt-instr-get-info.dolmen_dolmen.output)))
   (rule
    (target testfile-predicate002_ci_cdcl_no_minimal_bj.output)
    (deps (:input testfile-predicate002.ae))
@@ -203148,6 +203127,27 @@
 
 ; Auto-generated part begin
 (subdir smtlib
+  (rule
+   (target testfile-smt-instr-get-info.dolmen_dolmen.output)
+   (deps (:input testfile-smt-instr-get-info.dolmen.smt2))
+   (package alt-ergo)
+   (action
+    (chdir %{workspace_root}
+     (with-stdout-to %{target}
+      (ignore-stderr
+       (with-accepted-exit-codes 0
+        (run %{bin:alt-ergo}
+             --timelimit=2
+             --enable-assertions
+             --output=smtlib2
+             --frontend dolmen
+             %{input})))))))
+  (rule
+   (deps testfile-smt-instr-get-info.dolmen_dolmen.output)
+    (alias runtest-quick)
+     (package alt-ergo)
+      (action
+       (diff testfile-smt-instr-get-info.dolmen.expected testfile-smt-instr-get-info.dolmen_dolmen.output)))
   (rule
    (target testfile-push-pop1.err.dolmen_dolmen.output)
    (deps (:input testfile-push-pop1.err.dolmen.smt2))
diff --git a/tests/everything/testfile-smt-instr-get-info.dolmen.expected b/tests/smtlib/testfile-get-info.dolmen.expected
similarity index 100%
rename from tests/everything/testfile-smt-instr-get-info.dolmen.expected
rename to tests/smtlib/testfile-get-info.dolmen.expected
diff --git a/tests/everything/testfile-smt-instr-get-info.dolmen.smt2 b/tests/smtlib/testfile-get-info.dolmen.smt2
similarity index 100%
rename from tests/everything/testfile-smt-instr-get-info.dolmen.smt2
rename to tests/smtlib/testfile-get-info.dolmen.smt2