diff options
author | Rustan Leino <unknown> | 2014-06-04 18:12:03 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2014-06-04 18:12:03 -0700 |
commit | 317f84eea57ff897d830588d5893b6722a6aa2a0 (patch) | |
tree | b28c4067ac43f54c7af1a311e53f190913313ece /Test/dafny2 | |
parent | 84b0dfe7c573d5bc734e14250067226592cfe7f8 (diff) |
Improved axiom that knows that array-to-sequence converstion depends only on those heap location that hold the array elements
Diffstat (limited to 'Test/dafny2')
0 files changed, 0 insertions, 0 deletions