diff options
| author | Horacio Sanson <hsanson@gmail.com> | 2021-01-20 20:48:53 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-20 20:48:53 +0900 |
| commit | 7b42dd7387f4c45ac7d5fffb6662d0177f5e1d54 (patch) | |
| tree | 628b4db39414b04c95c5bcc29c707dda0112f469 /autoload | |
| parent | 16c45b82130c602c1542287d4509fc2809035e04 (diff) | |
| parent | 303b89a6b4ace2ee41818499b958a2f486e8864c (diff) | |
| download | ale-7b42dd7387f4c45ac7d5fffb6662d0177f5e1d54.zip | |
Merge pull request #3475 from benknoble/dafny-include-timeouts
dafny: add a timeLimit option and message-parsing
Diffstat (limited to 'autoload')
0 files changed, 0 insertions, 0 deletions