projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed29a5d) | patch
Fixes two memory leaks coming from Transf. (#1564)
authorTim King <taking@cs.nyu.edu>
Wed, 7 Feb 2018 02:25:45 +0000 (18:25 -0800)
committerAina Niemetz <aina.niemetz@gmail.com>
Wed, 7 Feb 2018 02:25:45 +0000 (18:25 -0800)
commit341728ed95dcff20fd75bb7aef4e0b7773f63e07
treeb10e5ecbd5562adf78f8540452b6c4debdbf3a0atree
parented29a5dae12e11d7b3bc2e19b84a3990e3840a8ccommit | diff
Fixes two memory leaks coming from Transf. (#1564)

First, it adds a virtual destructor so the subclasses will get cleaned up. Second, it wraps the returned
pointer in a unique_ptr. Should fix ASAN failures in the nightly run.
src/theory/quantifiers/sygus_grammar_norm.cpp diff | blob | history
src/theory/quantifiers/sygus_grammar_norm.h diff | blob | history