diff options
| author |  rustanleino <unknown> | 2010-09-01 02:18:00 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-09-01 02:18:00 +0000 |
| commit | f2acf182c42f371b1075c0fd71885eb9cecb870c (patch) | |
| tree | f9ff7f6fbe8f9b592659e8641c33a8dbebf1a4fe /Test/VSComp2010 | |
| parent | 5ca9822b9883a01d3ce2a4bb2c43b383f7f124e1 (diff) | |
VS2010 mode for Dafny and Boogie: updated, for example to properly deal with string literals
Diffstat (limited to 'Test/VSComp2010')
0 files changed, 0 insertions, 0 deletions