projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 541c88a) | patch
Adding a new class LastExceptionBuffer for the purpose of owning the memory for the...
authorTim King <taking@google.com>
Tue, 5 Jan 2016 19:36:30 +0000 (11:36 -0800)
committerTim King <taking@google.com>
Tue, 5 Jan 2016 19:36:30 +0000 (11:36 -0800)
commitb717513e2a1d956c4456d13e0625957fc84c2449
tree50b8a1fbd720fd5094004bde02de0ca61780df30tree
parent541c88a37f0880d7ea42a1aaa3a8688fc86ac811commit | diff
Adding a new class LastExceptionBuffer for the purpose of owning the memory for the last exception C string. This replaces s_debugLastException.
src/base/cvc4_assert.cpp diff | blob | history
src/base/cvc4_assert.h diff | blob | history
src/base/exception.cpp diff | blob | history
src/base/exception.h diff | blob | history
src/expr/node.cpp diff | blob | history
src/main/util.cpp diff | blob | history