projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 420f25b) | patch
Initialize inputAssertions only when proofRecipe is non-null (#2325)
authorTim King <taking@cs.nyu.edu>
Fri, 17 Aug 2018 06:48:17 +0000 (23:48 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 17 Aug 2018 06:48:17 +0000 (23:48 -0700)
commit4d303b5e6de8a3b963357a3c0238ffe81d36f766
tree54ef2fbfa6a57dee7753d39522fed89e21affa7ftree
parent420f25b1c8103bec7d5fd63a8ade2d9373395e55commit | diff
 Initialize inputAssertions only when proofRecipe is non-null (#2325)

Most of the PR is clang-format cruft from picking up the contents of a PROOF({ ... });
src/theory/theory_engine.cpp diff | blob | history