diff options
| author | Alasdair Armstrong | 2019-04-30 17:48:38 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-04-30 17:50:06 +0100 |
| commit | 00d7ee1d3ef2a7cf6835c101aba922749f657963 (patch) | |
| tree | f573f43bf7301ed14dcd5133ef105be576ae111a /src/smtlib.ml | |
| parent | 9f97885a01027c748be1a05aeb8429418d6b3782 (diff) | |
SMT: Fix dead-code FIXME in jib_compile
Add an Assumption event that is true whenever a property's type
quantifier is true, rather than wrapping body in a if-statement that
ends up creating a dead branch.
Diffstat (limited to 'src/smtlib.ml')
0 files changed, 0 insertions, 0 deletions