projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94e3d9a) | patch
Safer version of pending lemma processing in inference manager buffered (#5286)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 19 Oct 2020 07:55:25 +0000 (02:55 -0500)
committerGitHub <noreply@github.com>
Mon, 19 Oct 2020 07:55:25 +0000 (09:55 +0200)
commit46b55d615e32ab48065dde0187adeb760cdac949
treed31b5b09085cbdf0802932895cc638318f4f86e0tree
parent94e3d9a0c2a51fbfd44516113527f34ed2c13e44commit | diff
Safer version of pending lemma processing in inference manager buffered (#5286)

This ensures we don't segfault if the pending lemma vector is cleared while we are processing it. This is potentially possible in datatypes currently. Fixes #5236.
src/theory/inference_manager_buffered.cpp diff | blob | history