diff options
| author |  Jason Koenig <unknown> | 2012-06-13 11:54:11 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-06-13 11:54:11 -0700 |
| commit | ce71139e213adff4fc890c419dec87036a7328ab (patch) | |
| tree | 41100750f9cd5a9f650b2245bea1bcd8a8898e04 /Test/vstte2012/Combinators.dfy | |
| parent | 6a2d1e99fe29fa6558a5b5186b174c9041069d6c (diff) | |
Dafny: liberalized equality to work when the types could possibly be the same
(i.e. a != b is allowed when a: array<int> and b: array<T>)
Diffstat (limited to 'Test/vstte2012/Combinators.dfy')
0 files changed, 0 insertions, 0 deletions