diff options
| author | Alasdair Armstrong | 2019-05-21 15:08:46 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-21 16:54:46 +0100 |
| commit | d58e9c73731b969ebfb8e098dc5ea60d61747d79 (patch) | |
| tree | bdfad9fa6e3378114d859b880ab4c420902f9815 /src/pattern_completeness.ml | |
| parent | bf0f2c782f562c56c490782ec227ff74d1c74ecb (diff) | |
SMT: Add control flow node numbers to memory events to track program order
Add path conditions to memory events
Allow simplication of generated SMT based on constructor kinds
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions