changeset 74870 | d54b3c96ee50 |
parent 74561 | 8e6c973003c8 |
child 78705 | fde0b195cb7d |
--- a/src/Tools/quickcheck.ML Fri Nov 26 16:25:58 2021 +0100 +++ b/src/Tools/quickcheck.ML Tue Nov 30 11:31:07 2021 +0100 @@ -281,7 +281,7 @@ fun limit timeout (limit_time, is_interactive) f exc () = if limit_time then - Timeout.apply timeout f () + Timeout.apply_physical timeout f () handle timeout_exn as Timeout.TIMEOUT _ => if is_interactive then exc () else Exn.reraise timeout_exn else f ();