projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8bda28) | patch
Remove dead code in evaluator (#2389)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 28 Aug 2018 01:59:59 +0000 (18:59 -0700)
committerGitHub <noreply@github.com>
Tue, 28 Aug 2018 01:59:59 +0000 (18:59 -0700)
commit54a5a142a8522ad2edb26ec934729edfb97ead7f
tree81bfa281585a52a14807d700abda239376906c57tree
parentf8bda2828e5f3e984623e38ea0778d36144bd05ccommit | diff
Remove dead code in evaluator (#2389)

This should fix Coverity issue 1470214.
src/theory/evaluator.cpp diff | blob | history