projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3395c1) | patch
Fix bugs in getFreeVariables (#5601)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 7 Dec 2020 11:26:13 +0000 (05:26 -0600)
committerGitHub <noreply@github.com>
Mon, 7 Dec 2020 11:26:13 +0000 (12:26 +0100)
commit800a4e4ada7b8b020f3e2fa5431b0e95d4777be7
tree6cc798b9de63d700c5cfa84998ff68272e5a20edtree
parenta3395c1a96a3f116254e026acd1ccd066b6e9e09commit | diff
Fix bugs in getFreeVariables (#5601)

Did not consider scopes properly, which would fail to say that formulas with escaped variables (both bound and unbound) in formula had free variables.
src/expr/node_algorithm.cpp diff | blob | history
src/expr/node_algorithm.h diff | blob | history