projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39df95d) | patch
Fix issue with selector triggers (#5689)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 21 Dec 2020 13:55:34 +0000 (07:55 -0600)
committerGitHub <noreply@github.com>
Mon, 21 Dec 2020 13:55:34 +0000 (14:55 +0100)
commit134ce1704c4f2467a0c5eeef2127afd140d44cc4
tree246ab253cc1a3595b417aa3aa3ae1265ac23c399tree
parent39df95de07a85121f5f12404afcaae48d90e0a67commit | diff
Fix issue with selector triggers (#5689)

Code could segfault if the number of wrongly applied selector applications was different from correctly applied ones.
src/theory/quantifiers/ematching/candidate_generator.cpp diff | blob | history
src/theory/quantifiers/ematching/candidate_generator.h diff | blob | history