diff options
author | Rustan Leino <unknown> | 2015-08-20 17:29:15 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2015-08-20 17:29:15 -0700 |
commit | efcd1e908cb7ea05e78faffd206fa5ce1e966b74 (patch) | |
tree | 7b6ff26639813f2a059f427aab7dc00fccd924f0 /Test/dafny0 | |
parent | b8d7d6d785a29fd948e9a9740fb96ed270ac19d8 (diff) |
Changed equality tests involving traits from using strings to using reference equality
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions