diff --git a/tests/dune.inc b/tests/dune.inc
index d7fb0d78b3..d88834834c 100644
--- a/tests/dune.inc
+++ b/tests/dune.inc
@@ -203064,7 +203064,7 @@
     (chdir %{workspace_root}
      (with-stdout-to %{target}
       (ignore-stderr
-       (with-accepted-exit-codes (or 1 123 124 125 142)
+       (with-accepted-exit-codes 1
         (run %{bin:alt-ergo}
              --timelimit=2
              --enable-assertions
diff --git a/tools/gentest.ml b/tools/gentest.ml
index 46ddaf9dee..c7ced91e37 100644
--- a/tools/gentest.ml
+++ b/tools/gentest.ml
@@ -178,9 +178,9 @@ end = struct
           pp_output tst
     in
     let accepted_ae_exit_code =
-      if tst.params.ae_should_succeed then
-        "0"
-      else "(or 1 123 124 125 142)"
+      if tst.params.ae_should_succeed
+      then "0"
+      else "1"
     in
     Format.fprintf fmt "\
 @[<v 1>\