diff options
author | 2012-05-29 14:56:35 -0700 | |
---|---|---|
committer | 2012-05-29 14:56:35 -0700 | |
commit | 33be652b4db584a8441f7b1006ceed73eb091be6 (patch) | |
tree | 6050f3143e35fed1b1053e9c9044a516a539d5da /Test/dafny0/Skeletons.dfy | |
parent | 2e43fe69d087fb75213f67f735a3e85e0278a29f (diff) |
Dafny: fixed regression tests
Diffstat (limited to 'Test/dafny0/Skeletons.dfy')
0 files changed, 0 insertions, 0 deletions