diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2016-12-07T14·31+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2016-12-07T14·31+0100 |
| commit | dadfddfa7cb5d523969bffd906b74099d6a88387 (patch) | |
| tree | 21c01e8e7603efbc211206f94f846acc91b7dfb5 /maintainers | |
| parent | cea4e2c618fcf0111da2dcacc023d2a7a32ee15b (diff) | |
Bail out early when non-determinism is detected
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions