diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-09-22 15:05:44 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-22 20:05:44 +0000 |
| commit | ba259d66be877de3cc77e4f62083905ace942c82 (patch) | |
| tree | 864bd79d72e52516bd9427a9f3d6907843f14b01 /test/regress/regress1/arith/arith-int-050.cvc | |
| parent | f9fd2f7a1e37540c0ac6a9ef33f9da91f69a8368 (diff) | |
Towards standard usage of evaluator (#7189)
This makes the evaluator accessible via EnvObj through the Rewriter. It furthermore removes Rewriter::rewrite from inside the evaluator itself.
Construction of Evaluator utilities is now discouraged.
The include dependencies were cleaned slightly in this PR, leading to more precise includes throughout.
This is work towards having a configurable cardinality for strings, as well as eliminating SmtEngineScope.
Diffstat (limited to 'test/regress/regress1/arith/arith-int-050.cvc')
0 files changed, 0 insertions, 0 deletions