projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b08ef33) | patch
Fix return value for candidate rewrite database (#8354)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 21 Mar 2022 22:35:12 +0000 (17:35 -0500)
committerGitHub <noreply@github.com>
Mon, 21 Mar 2022 22:35:12 +0000 (22:35 +0000)
commitbc5de34f98cde1c1aa77649654ddc6271f8c692b
treebd1db81ddadc7bb77f50b4d1681a93f09d97d82dtree
parentb08ef33d5ab27471fd26e53b9a8b2d1833424f55commit | diff
Fix return value for candidate rewrite database (#8354)

Currently causes sygus reconstruction to return spurious solutions, due to being justified by candidate rewrites.
src/theory/quantifiers/candidate_rewrite_database.cpp diff | blob | history
src/theory/quantifiers/candidate_rewrite_database.h diff | blob | history