diff options
| author |  Jason Koenig <unknown> | 2012-07-11 16:18:30 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-11 16:18:30 -0700 |
| commit | 12497c67126499bc8c6a061d5840c711202ded28 (patch) | |
| tree | 2b07a87ffd9f6c1ce1c7bdc691add866256759db /Test/dafny2 | |
| parent | 407cfc5cd9bddb106e60d55684a78e660af87f88 (diff) | |
Dafny: fixed translation bug in maps with objects in the domain, added test case
Diffstat (limited to 'Test/dafny2')
0 files changed, 0 insertions, 0 deletions