diff options
| author | Alasdair | 2019-02-15 03:04:37 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-15 17:52:36 +0000 |
| commit | 65599f14b3ecac193529caafbee7672b38ed367e (patch) | |
| tree | e64a51bdbecead9fb57e06d94203dbfedca9b1d9 /src/error_format.ml | |
| parent | 96f0df85a129666e3b960d6d17df165de13b3024 (diff) | |
Use multiple solvers
Useful to see what constraints we are generating that are particularly
hard, and which of our specs work with different solvers.
Refactor code to use smt in names rather than specifically z3
Diffstat (limited to 'src/error_format.ml')
0 files changed, 0 insertions, 0 deletions