diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-06-08 17:21:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-08 15:21:45 +0000 |
| commit | 6b7e493bb78c86876e51e2e706bdeb4d33958798 (patch) | |
| tree | 681eec07063dff4b6fdcfd7a1980cf91e65b6a6a /test/regress | |
| parent | 52f02c087ca45a65c1e483faab32ac2078106aa0 (diff) | |
Fix statistics option handler (#6703)
This PR fixes a typo in the option handler for the statistics options, which lead to options not properly propagating.
Diffstat (limited to 'test/regress')
| -rw-r--r-- | test/regress/CMakeLists.txt | 1 | ||||
| -rw-r--r-- | test/regress/regress0/options/statistics.smt2 | 42 |
2 files changed, 43 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index d112bdf1d..a5a687f9f 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -737,6 +737,7 @@ set(regress_0_tests regress0/options/ast-and-sexpr.smt2 regress0/options/invalid_dump.smt2 regress0/options/set-and-get-options.smt2 + regress0/options/statistics.smt2 regress0/parallel-let.smt2 regress0/parser/as.smt2 regress0/parser/bv_arity_smt2.6.smt2 diff --git a/test/regress/regress0/options/statistics.smt2 b/test/regress/regress0/options/statistics.smt2 new file mode 100644 index 000000000..047c039ee --- /dev/null +++ b/test/regress/regress0/options/statistics.smt2 @@ -0,0 +1,42 @@ +; EXPECT: false +; EXPECT: false +; EXPECT: false +; EXPECT: false +; EXPECT: true +; EXPECT: true +; EXPECT: false +; EXPECT: false +; EXPECT: false +; EXPECT: false +; EXPECT: false +; EXPECT: false +; EXPECT: true +; EXPECT: false +; EXPECT: false +; EXPECT: true +(set-logic QF_UF) +(get-option :stats) +(get-option :stats-all) +(get-option :stats-every-query) +(get-option :stats-expert) + +(set-option :stats-all true) + +(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) + +(set-option :stats-expert true) + +(get-option :stats) +(get-option :stats-all) +(get-option :stats-every-query) +(get-option :stats-expert)
\ No newline at end of file |