diff options
| author |  leino <unknown> | 2014-10-30 15:12:31 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-10-30 15:12:31 -0700 |
| commit | 9f41b35b514eba87a037cbada83f0c294eafb936 (patch) | |
| tree | 06b875a433e0ca8ca80dc41cc7ed34bbef5514b8 /Binaries | |
| parent | c612305e78f057b9d1e91a0d154989cb866a7906 (diff) | |
Allow assignment LHSs in a forall statement to be the same, so long as the they are assigned the same RHS value.
Don't include havoc assignments in LHS-duplicate checks.
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions