projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f948414) | patch
Fixed a bug where the proofManager's init() call was not getting called, resutling...
authorGuy <katz911@gmail.com>
Mon, 20 Jun 2016 12:40:20 +0000 (05:40 -0700)
committerGuy <katz911@gmail.com>
Mon, 20 Jun 2016 12:40:20 +0000 (05:40 -0700)
commit150863561376c8cb7b170793f693352eab582ba9
treec324dc74f248573b19096cea862534430e22b1f8tree
parentf948414b8b9979f3e680abdedf8e3e6fbbbdd226commit | diff
Fixed a bug where the proofManager's init() call was not getting called, resutling a null point deference
src/proof/proof_manager.cpp diff | blob | history
src/smt/smt_engine_scope.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history