projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 107b142) | patch
Flush statistics through NodeManager in SmtEngine (#5652)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 12 Dec 2020 04:54:50 +0000 (22:54 -0600)
committerGitHub <noreply@github.com>
Sat, 12 Dec 2020 04:54:50 +0000 (22:54 -0600)
commita49efc8c32020b7c2285fa744ae61a576801c51d
treee261da599172d1bc767da066e25e15b9cf4eaec5tree
parent107b1422f9549eb2128729c3fd173441029ba443commit | diff
Flush statistics through NodeManager in SmtEngine (#5652)

This removes the dependency on the Expr layer from src/main.

This requires moving the flushing of NodeManager statistics within SmtEngine.

This is a temporary solution until we have a permanent solution for statistics.
src/main/command_executor.cpp diff | blob | history
src/main/command_executor.h diff | blob | history
src/main/driver_unified.cpp diff | blob | history
src/main/main.cpp diff | blob | history
src/main/main.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history