diff options
| author |  Jason Koenig <unknown> | 2012-06-13 18:32:05 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-06-13 18:32:05 -0700 |
| commit | 84219c03a73e14a7b0a74c4e94b38b8855f13fa7 (patch) | |
| tree | ce1a501e5395d09ddaa99e627e68ce9cf9c1dfe7 /Test/bitvectors/bv1.bpl | |
| parent | 13e5d0e4f57219fe325924548c3919bd6acc5a68 (diff) | |
Dafny: allow parallel assignments to assign to the same LHS if the RHS match.
Diffstat (limited to 'Test/bitvectors/bv1.bpl')
0 files changed, 0 insertions, 0 deletions