projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9de539) | patch
Fix memory management of `ErrorInformation` (#7388)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 22 Oct 2021 00:43:54 +0000 (17:43 -0700)
committerGitHub <noreply@github.com>
Fri, 22 Oct 2021 00:43:54 +0000 (00:43 +0000)
commit118b83f459c0c2a960ef5a7842e153b992ff540f
treeeec38cb65373f9df09fde442fc69bd2088f7d005tree
parentf9de5395d78bc5338ca800e539e91795730cbd29commit | diff
Fix memory management of `ErrorInformation` (#7388)

Fixes
https://scan6.coverity.com/reports.htm#v37053/p11644/fileInstanceId=125548448&defectInstanceId=32441274&mergedDefectId=1453884.
src/theory/arith/error_set.cpp diff | blob | history
src/theory/arith/error_set.h diff | blob | history