diff options
| author | Alasdair Armstrong | 2019-04-23 21:44:26 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-04-23 21:44:26 +0100 |
| commit | 771f6da34b0dc1de241f45977af8584adfb494b3 (patch) | |
| tree | 85b8edcf30748ce227a4575b4f02f4fa351bd210 /test/smt/write_ref.sat.sail | |
| parent | e5080e3f018fcd222906bf8129e53f32c138f8d8 (diff) | |
SMT: Only check counterexamples automatically with -smt_auto flag
Diffstat (limited to 'test/smt/write_ref.sat.sail')
0 files changed, 0 insertions, 0 deletions