projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de06ddb) | patch
Use expr miner timeout (#6321)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 9 Apr 2021 13:13:37 +0000 (08:13 -0500)
committerGitHub <noreply@github.com>
Fri, 9 Apr 2021 13:13:37 +0000 (13:13 +0000)
commit26fc2731dc0366a70c5145571ff4d2c460b3148f
tree0701c84a4eabf0687d22733c2cd261bf07a148c6tree
parentde06ddbed29109ce83b6a2fc0b042fcf64fa6ad4commit | diff
Use expr miner timeout (#6321)

We currently were ignoring the option --sygus-expr-miner-timeout=N. This corrects the issue.
src/theory/quantifiers/expr_miner.cpp diff | blob | history