diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-07-06 04:03:58 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-07-06 12:03:58 +0100 |
| commit | 1e331468c0bc5ad20f5b3e0e74e6482670c6227a (patch) | |
| tree | db926a3b9367bbb0f15625fda8722d046c41ca75 /src/api/cvc4cpp.cpp | |
| parent | a3a3c6f56ef1593076379e39ec478013d8a01ab8 (diff) | |
Add option for timeout for rewrite candidate check (#2156)
Diffstat (limited to 'src/api/cvc4cpp.cpp')
0 files changed, 0 insertions, 0 deletions