diff options
| author |  rustanleino <unknown> | 2010-09-01 02:18:00 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-09-01 02:18:00 +0000 |
| commit | 07157901b3973f303b959818165f585a60ddaa74 (patch) | |
| tree | e470798a15d89536a196d472c94ca8d475429a06 /Test/VSComp2010 | |
| parent | 204e8fc5a9ea4a4f2365efe54d994177a61d164d (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