projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d140d9) | patch
Do not traverse quantifiers in term formula removal (#5859)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 10 Feb 2021 00:21:56 +0000 (18:21 -0600)
committerGitHub <noreply@github.com>
Wed, 10 Feb 2021 00:21:56 +0000 (18:21 -0600)
commitdcc1a5ff44ed83bdc1e2abcac3aebb299a376b08
tree7ad149e42e54305a5833bc5f52f62ad2a1de5c55tree
parent1d140d9fb1b79a1776f359c879667180e094de5acommit | diff
Do not traverse quantifiers in term formula removal (#5859)

Our current policy for term formula removal leaves quantifier bodies unchanged. This simplifies the code based on this observation.
src/smt/term_formula_removal.cpp diff | blob | history