diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-09-11 21:13:34 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-11 19:13:34 +0000 |
commit | 2384a8d85517e00bc94e7fcf759a75dc6ea9b009 (patch) | |
tree | e4d8084d774b7ad334c0c2b91a7d985d876a990e /src/preprocessing/passes/extended_rewriter_pass.cpp | |
parent | b85e8a3d3f66ca844dc9b4790cd549a8dd0739a7 (diff) |
Use StatisticsRegistry from Env (#7166)
This commit better integrates the StatisticsRegistry with the environment. It makes the registry an `EnvObj` itself and adds a getter to `EnvObj` to get the registry. It also refactors parts of cvc5 to use this new mechanism to obtain the registry instead of using the (global, static) `smtStatisticsRegistry()` function.
Diffstat (limited to 'src/preprocessing/passes/extended_rewriter_pass.cpp')
0 files changed, 0 insertions, 0 deletions