projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c056e07) | patch
Fixing CID 1362917: There was a branch where d_issup was not initialized. Switching...
authorTim King <taking@cs.nyu.edu>
Mon, 25 Sep 2017 20:02:48 +0000 (13:02 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Mon, 25 Sep 2017 20:02:48 +0000 (13:02 -0700)
commite849f5c87c6a92cc06cfae611ce0cab0851e6905
treed0aaef7466cd81d51670aa740aca488bb8739700tree
parentc056e0711c6321b5d5b74e394cac3687dcade5b9commit | diff
Fixing CID 1362917: There was a branch where d_issup was not initialized. Switching members of InstantiationEngine to uniqur_ptr to simplify such cases. (#1133)
src/theory/quantifiers/instantiation_engine.cpp diff | blob | history
src/theory/quantifiers/instantiation_engine.h diff | blob | history