diff options
| author | Alasdair Armstrong | 2019-04-29 20:52:18 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-04-29 20:56:22 +0100 |
| commit | 44d533ad7e47daa636ee00a256b09fb3df9433ee (patch) | |
| tree | 3895fb739b96db4657477d51ff13854cf8175c89 /src/initial_check.mli | |
| parent | e1d0f39a9803051c646363c95c13c2d4ffb961c7 (diff) | |
SMT: Refactor overflow checks into generic event checking system
Have assert events for assertions and overflow events for potential
integer overflow. Unclear how these should interact... The order in
which such events are applied to the final assertion is potentially
quite important.
Overflow checks and assertions are now path sensitive, as they should
be.
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions