diff options
| author | Alasdair | 2019-05-10 21:10:19 +0100 |
|---|---|---|
| committer | Alasdair | 2019-05-10 21:10:19 +0100 |
| commit | df7101474911964e7d8dbf5b6fd3de3ed66b7fc8 (patch) | |
| tree | d27cd6ff68041ba410ea55166866db000639cd8c /src/initial_check.ml | |
| parent | 0ade72d50d578753332fb78753bbd43c09122d08 (diff) | |
SMT: Implement memory events for read_mem and write_mem
Generate SMT where the memory reads and writes are totally
unconstrained, allowing additional constraints to be added that
restrict the possible reads and writes based on some memory model.
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions