diff options
Diffstat (limited to 'test/regress/regress0/options/set-and-get-options.smt2')
-rw-r--r-- | test/regress/regress0/options/set-and-get-options.smt2 | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/regress/regress0/options/set-and-get-options.smt2 b/test/regress/regress0/options/set-and-get-options.smt2 new file mode 100644 index 000000000..478e3d523 --- /dev/null +++ b/test/regress/regress0/options/set-and-get-options.smt2 @@ -0,0 +1,19 @@ +; EXPECT: ((* 2)) +; EXPECT: ((check-sat 1) (* 1)) +; EXPECT: true +; EXPECT: false +; EXPECT: 15 +; EXPECT: "SimplificationMode::NONE" + +(get-option :command-verbosity) +(set-option :command-verbosity (* 1)) +(set-option :command-verbosity (check-sat 1)) +(get-option :command-verbosity) +(set-option :check-models true) +(get-option :check-models) +(set-option :check-models false) +(get-option :check-models) +(set-option :dag-thresh 15) +(get-option :dag-thresh) +(set-option :simplification none) +(get-option :simplification) |