projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd41d9d) | patch
Do not call toString() on malformed node when throwing TypeCheckingExceptionPrivate...
authoryoni206 <yoni206@users.noreply.github.com>
Mon, 2 Apr 2018 18:40:48 +0000 (11:40 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 2 Apr 2018 18:40:48 +0000 (11:40 -0700)
commit2d40d7ade3c66ba10a1f20ae5ab014aed8e2df01
tree504b340eea82c28e1ee18cacb06a5a015c195bd9tree
parentcd41d9de391ea93736182e944c10b697d863c6a6commit | diff
Do not call toString() on malformed node when throwing TypeCheckingExceptionPrivate. (#1733)

While throwing a TypeCheckingExceptionPrivate, an IllegalArgumentException was thrown when
trying calling toString() on a malformed node. Fixed by printing the kind of the node and its children
rather than calling toString() on the malformed node.
src/expr/node.cpp diff | blob | history