projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a97480) | patch
Add a timeout option for verification of synthesized terms. (#8359)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Tue, 22 Mar 2022 17:01:13 +0000 (12:01 -0500)
committerGitHub <noreply@github.com>
Tue, 22 Mar 2022 17:01:13 +0000 (17:01 +0000)
commitedc8091c268eb67eac1f963383de309d581e4951
treeb254a5e54c98e7cc803b418c5d899f8bfd0218bftree
parent3a97480ffab492f8272ad9c7c192d04b43eeea60commit | diff
Add a timeout option for verification of synthesized terms. (#8359)

This PR adds an option to timeout on the verification check for the terms enumerated by the Sygus solver.
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/sygus/synth_verify.cpp diff | blob | history