projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ed5865) | patch
Disable filtering of shapes in sygus-rcons pool. (#7922)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Tue, 11 Jan 2022 21:58:17 +0000 (15:58 -0600)
committerGitHub <noreply@github.com>
Tue, 11 Jan 2022 21:58:17 +0000 (21:58 +0000)
commit4975ae6cd117f6103ada4ccca329b1e348583ce0
tree9e71effd652ee4350fc12f64e8f600e0b96a2318tree
parent7ed586537b7767dee79a85e2754a12570328211ccommit | diff
Disable filtering of shapes in sygus-rcons pool. (#7922)

This PR disables filtering of enumerated shapes in the pool of the Sygus reconstruction algorithm.
src/theory/quantifiers/sygus/sygus_reconstruct.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_reconstruct.h diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress2/sygus/no-bad-filter.sy [new file with mode: 0644] blob