projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba06bb6) | patch
ContextObj::destroy(): Guard against invalid use. (#6082)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 9 Mar 2021 20:59:13 +0000 (12:59 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Mar 2021 20:59:13 +0000 (20:59 +0000)
commit4da1a65539d3c7481a1f4121f0e9bc09694f889d
treee32d1fb96bd30dd98bb73654ac6c30ae51c58cd5tree
parentba06bb6c4cd2b16437fcfe5fe29acb6c8c890649commit | diff
ContextObj::destroy(): Guard against invalid use. (#6082)

We do not allow that a context object is invalid on destruction.
This guards against invalid use as described in #2607. Note that #2607
proposed to skip invalid objects on destruction. We now rather do not
allow for such a case to occur at all.
src/context/context.cpp diff | blob | history