diff options
author | yoni206 <yoni206@users.noreply.github.com> | 2018-04-02 11:40:48 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-04-02 11:40:48 -0700 |
commit | 2d40d7ade3c66ba10a1f20ae5ab014aed8e2df01 (patch) | |
tree | 504b340eea82c28e1ee18cacb06a5a015c195bd9 /src/theory/bv/bitblast_utils.h | |
parent | cd41d9de391ea93736182e944c10b697d863c6a6 (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.
Diffstat (limited to 'src/theory/bv/bitblast_utils.h')
0 files changed, 0 insertions, 0 deletions