Use the new output option in qcheck-stm tests

ocaml-gospel · Sep 18, 2023 · 6227a5f · 6227a5f
1 parent 1f7f070
commit 6227a5f
Showing 1 changed file with 4 additions and 12 deletions.
diff --git a/plugins/qcheck-stm/test/dune b/plugins/qcheck-stm/test/dune
@@ -62,9 +62,7 @@
    qcheck-stm
    (with-stderr-to
     array_errors
-    (with-stdout-to
-     %{target}
-     (run ortac qcheck-stm %{dep:array.mli} "make 16 'a'" "char t"))))))
+     (run ortac qcheck-stm %{dep:array.mli} "make 16 'a'" "char t" -o %{target})))))
 
 (rule
  (alias runtest)
@@ -108,14 +106,12 @@
    qcheck-stm
    (with-stderr-to
     hashtbl_errors
-    (with-stdout-to
-     %{target}
      (run
       ortac
       qcheck-stm
       %{dep:hashtbl.mli}
       "create ~random:false 16"
-      "(char, int) t"))))))
+      "(char, int) t" -o %{target})))))
 
 (rule
  (alias runtest)
@@ -163,9 +159,7 @@
    qcheck-stm
    (with-stderr-to
     record_errors
-    (with-stdout-to
-     %{target}
-     (run ortac qcheck-stm %{dep:record.mli} "make 42" "t"))))))
+     (run ortac qcheck-stm %{dep:record.mli} "make 42" "t" -o %{target})))))
 
 (rule
  (alias runtest)
@@ -213,9 +207,7 @@
    qcheck-stm
    (with-stderr-to
     ref_errors
-    (with-stdout-to
-     %{target}
-     (run ortac qcheck-stm %{dep:ref.mli} "make 42" "t"))))))
+     (run ortac qcheck-stm %{dep:ref.mli} "make 42" "t" -o %{target})))))
 
 (rule
  (alias runtest)