projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 475985c) | patch
Fix ASan failure in interactive_shell_black (#4827)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sun, 2 Aug 2020 12:57:24 +0000 (05:57 -0700)
committerGitHub <noreply@github.com>
Sun, 2 Aug 2020 12:57:24 +0000 (07:57 -0500)
commit76b25e75c198f9af7ba2c2554e07fec5ba047597
tree6f962fcebc54b9a65e181434333a7057e8b99fedtree
parent475985ccc80b1ddb38d912a3c6658912f1fc6207commit | diff
Fix ASan failure in interactive_shell_black (#4827)

This commit fixes an issue reported by ASan for unit test
interactive_shell_black. The unit test was failing because nodes were
created in the wrong node manager. The issue was likely introduced with
e8bbee7.
src/api/cvc4cpp.cpp diff | blob | history