projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fa5a1a) | patch
Initializes TriggerInfo::polarity. Resolves CID 1172054. (#1358)
authorTim King <taking@cs.nyu.edu>
Tue, 14 Nov 2017 05:00:15 +0000 (21:00 -0800)
committerGitHub <noreply@github.com>
Tue, 14 Nov 2017 05:00:15 +0000 (21:00 -0800)
commit312a7ec0ee5bf7fcf03f7af4a924e4eb03774f67
tree475e9075f927a4a82bb66c22feb742e554857422tree
parent0fa5a1a957d7df9d47f5ba8b2b857539b21ae165commit | diff
Initializes TriggerInfo::polarity. Resolves CID 1172054. (#1358)

* Initializes TriggerInfo::polarity. Resolves CID 1172054.

* Initializing to false explicitly.
src/theory/uf/equality_engine_types.h diff | blob | history