diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-11-13 17:29:37 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-11-13 17:29:37 +0200 |
commit | c03fc4a34ad47f5951633f1e9602b250c53c1927 (patch) | |
tree | 71ea22bbdd32db7c1d94ff501d5edc7a1385cb82 /old-tests/semantics/source/sourcee1 | |
parent | 861555876837449fd8fc480845f642dab4a68b1e (diff) |
Increase deadlock detection timeout
Diffstat (limited to 'old-tests/semantics/source/sourcee1')
0 files changed, 0 insertions, 0 deletions