Skip to content

Commit

Permalink
Only 1 code for errors
Browse files Browse the repository at this point in the history
  • Loading branch information
Stevendeo committed Oct 2, 2023
1 parent c1064ab commit 7cfee7b
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion tests/dune.inc

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 3 additions & 3 deletions tools/gentest.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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>\
Expand Down

0 comments on commit 7cfee7b

Please sign in to comment.