diff options
| author | Alasdair Armstrong | 2019-04-17 18:55:52 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-04-17 18:55:52 +0100 |
| commit | 403eabafb1289b173bd0048e798025b71ce5b4ea (patch) | |
| tree | b0b3811e4c0d225423a13738f9cf424b185111f2 /src/reporting.mli | |
| parent | 3ed876505db449807d5f2a47251f15102792e444 (diff) | |
SMT: Automatically get model when $counterexample is used rather than $property
Diffstat (limited to 'src/reporting.mli')
0 files changed, 0 insertions, 0 deletions