diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-09-14 10:09:40 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2017-09-14 10:09:40 -0700 |
| commit | e4fc6c7b57668f18ce087c45e001c101375c20ea (patch) | |
| tree | ac305beac6241b6ba70cd1623b09d876ef499a29 /test/unit | |
| parent | 4a014a12d7f72c4f73dfbee8c9f62868e920bc15 (diff) | |
Simplifying the throw specifier of SmtEngine::checkSat and related calls to CVC4::Exception. (#1085)
Diffstat (limited to 'test/unit')
0 files changed, 0 insertions, 0 deletions