projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cba5839) | patch
Fix bug in hasBoundVar (#5600)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 4 Dec 2020 18:26:12 +0000 (12:26 -0600)
committerGitHub <noreply@github.com>
Fri, 4 Dec 2020 18:26:12 +0000 (19:26 +0100)
commit144b9610867ad4ea021f690f25151e60ab6bce65
treed1f4b6d561bd39a6e499f4761f9d1be66e8551e3tree
parentcba58392bcd234e9b09095a36e012b0b0cff6ba5commit | diff
Fix bug in hasBoundVar (#5600)

Led to issues while debugging another issue related to free variables in assumptions.
src/expr/node_algorithm.cpp diff | blob | history