diff options
| author |  leino <unknown> | 2014-10-21 01:23:06 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-10-21 01:23:06 -0700 |
| commit | 5de2cc263ce26929baf03ca32c4d6738813db002 (patch) | |
| tree | bb10567e46087f54245cd17857400055bb7889aa /Binaries/PrepareDafnyZip.bat | |
| parent | bf6de3d13197e1635a4d9fe807b3f4b45113ae6a (diff) | |
Added VC Splitting switch to dafny2/SnapshotableTrees.dfy to try to avoid some brittleness
Diffstat (limited to 'Binaries/PrepareDafnyZip.bat')
0 files changed, 0 insertions, 0 deletions