Test 'error4' requires one more iteration

Julow · May 31, 2023 · f5cce1a · f5cce1a
1 parent 86ff2e4
commit f5cce1a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/test/passing/dune.inc b/test/passing/dune.inc
@@ -1721,7 +1721,7 @@
  (action
   (with-stdout-to error4.ml.stdout
    (with-stderr-to error4.ml.stderr
-     (run %{bin:ocamlformat} --margin-check --no-comment-check %{dep:tests/error4.ml})))))
+     (run %{bin:ocamlformat} --margin-check --no-comment-check --max-iter=3 %{dep:tests/error4.ml})))))
 
 (rule
  (alias runtest)

diff --git a/test/passing/tests/error4.ml.opts b/test/passing/tests/error4.ml.opts
@@ -1 +1,2 @@
 --no-comment-check
+--max-iter=3