diff options
| author |  rustanleino <unknown> | 2009-08-19 19:59:06 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-08-19 19:59:06 +0000 |
| commit | 00dbdfbb3cd610873676050dafbb4e9bcf9d4672 (patch) | |
| tree | a1c37fb79781e4748e504785750fc912ada843d1 /Binaries/Microsoft.SpecSharp.pdb | |
| parent | 0c6869f84109a46c50971830ae9970128b8dc4c4 (diff) | |
Full (?) support in Dafny for Counterexample Visualizer predicates.
Diffstat (limited to 'Binaries/Microsoft.SpecSharp.pdb')
0 files changed, 0 insertions, 0 deletions