diff options
| author | Enrico Tassi | 2020-06-29 17:38:15 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-06-29 17:38:15 +0200 |
| commit | 397fb9dfbe09b85d8cbeed5854134a6491372ae4 (patch) | |
| tree | 1d685494e5a413ddabff32e6e4b40043fe434c19 /kernel/type_errors.mli | |
| parent | a039e78c821ba6a0da5d3364b98491707eab8add (diff) | |
[test-suite] async-proofs off in tests with Fail Timeout
Apparently the `Timeout` exception is raised by a signal handled, and
that can happen when the running thread is a worker manager, rather than
the main thread (the one that should be interrupted).
Given that the point of these tests is to test *auto and not the STM,
we disable async proofs forcibly.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions