Skip to content

Commit

Permalink
exit on failure after printing
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Feb 3, 2025
1 parent 94d1bac commit 3245d94
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/dynarray/lin_tests.ml
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ let lin_test ~rep_count ~retries ~count ~name ~lin_prop =
print_endline msg;
print_endline (Util.print_triple_vertical ~fig_indent:5 ~res_width:35
(fun c -> Printf.sprintf "%s" (DAT.show_cmd c)) t);
false)
exit 1)

let stress_test ~count ~name =
lin_test
Expand Down

0 comments on commit 3245d94

Please sign in to comment.