diff options
| author | Alasdair Armstrong | 2019-05-21 17:31:13 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-21 17:41:52 +0100 |
| commit | 7b4bf2bd14cae99a4d8086a0b66d9875be1acbab (patch) | |
| tree | b0cb23843364c3154037b8ec494e8b96ddc765cd /src/pattern_completeness.ml | |
| parent | 9713d40546c732dab7ebd3d534267c696a0e84ed (diff) | |
SMT: Use a separate constructor for memory read variables
We want to ensure simplication can treat these separately so we
don't accidentally simplify away dependencies between reads and write
addresses.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions