diff options
| author |  wuestholz <unknown> | 2013-05-21 14:13:05 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-05-21 14:13:05 -0700 |
| commit | 45638021e2d82e5cd16621ce5a0909ba9804eeaf (patch) | |
| tree | 636e917314b62563ab731b794568a9f438f796b6 /Test/VSI-Benchmarks | |
| parent | 2fa6ad2a4dbf072afd0b99e35c3dc5defedb0ad0 (diff) | |
Updated several project files.
Note that the 'boogie' directory is expected to be a sibling of the
'dafny' directory.
Diffstat (limited to 'Test/VSI-Benchmarks')
0 files changed, 0 insertions, 0 deletions