diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-08-10 11:30:30 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-08-10 11:30:30 -0700 |
| commit | bcb834b4d3fb4926d7eabe0a9837396c84619ee6 (patch) | |
| tree | fbbf8857f0db2f388fe774917bdc90450383410b /Binaries/UnivBackPred2.smt | |
| parent | 33137f76bac9c2c0e3b26237bcd0e37c092e0c98 (diff) | |
DafnyExtension: hide execution-trace output, show split-expr related error locations, set a 10-second timeout
Diffstat (limited to 'Binaries/UnivBackPred2.smt')
0 files changed, 0 insertions, 0 deletions