diff options
| author | Alasdair | 2019-04-16 00:10:45 +0100 |
|---|---|---|
| committer | Alasdair | 2019-04-16 00:10:45 +0100 |
| commit | fe7ec544b4dc832b86c2217cb4c764ed0f448b8a (patch) | |
| tree | 152e1195ca8f6d1b2de469f09dcc1bc3cf706d95 /src/spec_analysis.mli | |
| parent | dd4603715e0197007db780a5e4879b0ef7cd3c13 (diff) | |
SMT: Add struct value literals
Generates much better SMT that assigning each field one-by-one
starting with an undefined struct.
Diffstat (limited to 'src/spec_analysis.mli')
0 files changed, 0 insertions, 0 deletions