Skip to content

Commit

Permalink
qcheck util: disable backtraces in qcheck tests
Browse files Browse the repository at this point in the history
  • Loading branch information
just-max committed Jul 15, 2024
1 parent e47c06d commit 0f8987d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/test-lib/oUnit_util.ml
Original file line number Diff line number Diff line change
Expand Up @@ -17,11 +17,11 @@ let default_rand =
by interrupting shrinking and showing the smallest value found so far
once the timeout expires. *)
let of_qcheck ?(timeout = default_qcheck_timeout) (QCheck2.Test.Test cell) =
Printexc.record_backtrace true;
let module T = QCheck2.Test in
let name = T.get_name cell in
let count = T.get_count cell in
let test_fun _ =
Printexc.record_backtrace false;
let start = Mtime_clock.counter () in
let passed = ref 0 in
let last_shrunk = ref None in
Expand Down

0 comments on commit 0f8987d

Please sign in to comment.