diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-07-14 09:40:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-14 07:40:30 +0000 |
| commit | ae326f9c27bb1cbb89ae41eb825148f16c8a607f (patch) | |
| tree | f9624d10a56785dddd7c0944f60f612969df340a /test/regress | |
| parent | 2c77d85c05b010a8b456ddd356461d41be09a1ff (diff) | |
Clean up option usage in command executor (#6844)
This PR makes the CommandExecutor class use the options object from its SmtEngine instead of the driver one. This makes sure that options that are set via (set-option ...) are in effect for the CommandExecutor. It still stores the driver options, though, as they are used for resets.
The PR also does some minor cleanups along the way (remove unused pOptions, make things const).
Fixes #2376.
Diffstat (limited to 'test/regress')
| -rw-r--r-- | test/regress/regress0/options/statistics.smt2 | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/regress/regress0/options/statistics.smt2 b/test/regress/regress0/options/statistics.smt2 index ae9d93b6f..d6d5325b0 100644 --- a/test/regress/regress0/options/statistics.smt2 +++ b/test/regress/regress0/options/statistics.smt2 @@ -15,6 +15,10 @@ ; EXPECT: false ; EXPECT: false ; EXPECT: true +; EXPECT: false +; EXPECT: false +; EXPECT: false +; EXPECT: false (set-logic QF_UF) (get-option :stats) (get-option :stats-all) @@ -40,4 +44,11 @@ (get-option :stats) (get-option :stats-all) (get-option :stats-every-query) +(get-option :stats-expert) + +(set-option :stats false) + +(get-option :stats) +(get-option :stats-all) +(get-option :stats-every-query) (get-option :stats-expert)
\ No newline at end of file |