diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-11 22:54:50 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-11 22:54:50 -0600 |
| commit | a49efc8c32020b7c2285fa744ae61a576801c51d (patch) | |
| tree | e261da599172d1bc767da066e25e15b9cf4eaec5 /cmake | |
| parent | 107b1422f9549eb2128729c3fd173441029ba443 (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.
Diffstat (limited to 'cmake')
0 files changed, 0 insertions, 0 deletions