projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afc3de9) | patch
Initializes InstPropagator::d_has_relevant_inst. Resolves 1362891. (#1360)
authorTim King <taking@cs.nyu.edu>
Tue, 14 Nov 2017 13:08:53 +0000 (05:08 -0800)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 Nov 2017 13:08:53 +0000 (07:08 -0600)
commit043b73406f30dd4e389c927ac6a9c76b1fbd07e4
tree087c41005f509541cc76aac8a69d2d80b2da013dtree
parentafc3de987e3416e1987bc6be9aa0b0adb7fd63abcommit | diff
Initializes InstPropagator::d_has_relevant_inst. Resolves 1362891. (#1360)

* Initializes InstPropagator::d_has_relevant_inst. Resolves 1362891.

* Initializing to false explicitly.
src/theory/quantifiers/inst_propagator.cpp diff | blob | history