diff options
| author |  Nada Amin <namin@alum.mit.edu> | 2014-03-19 19:08:04 +0100 |
|---|---|---|
| committer | Nada Amin <namin@alum.mit.edu> | 2014-03-19 19:08:04 +0100 |
| commit | 73d20fd1f40d380f10a4a62cb8853137e340514a (patch) | |
| tree | 859ce823e99fddc674757fe5d50d93b2cd11ae5c /Test/dafny3/SetIterations.dfy | |
| parent | 24d83b6c4fde22c8fefad80618be22d383f6d6d0 (diff) | |
Propagate literals through equality operations.
Diffstat (limited to 'Test/dafny3/SetIterations.dfy')
0 files changed, 0 insertions, 0 deletions