projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e76b70b) | patch
Fixing CIDs 1172014 and 1172013: Initializing members of GetProofCommand and GetModel...
authorTim King <taking@cs.nyu.edu>
Tue, 26 Sep 2017 20:02:32 +0000 (13:02 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 26 Sep 2017 20:02:32 +0000 (13:02 -0700)
commit0f9f1fee128c86f3a1210134f1f22a0343793d4a
treeb1da0e71c045b337bbf671662f1e7ab09f4d4ae2tree
parente76b70bfa6053b8de7868e595cbe6317ae0ef11ccommit | diff
Fixing CIDs 1172014 and 1172013: Initializing members of GetProofCommand and GetModelCommand to nullptr. (#1142)
src/smt/command.cpp diff | blob | history
src/smt/command.h diff | blob | history