Warning INI parameter missing in Z3 3.2?

Question

According to the list of INI parameters there should be a boolean WARNING flag, but setting it in Z3 3.2 (x64_mt) via

(set-option :WARNING false)

yields unsupported for both spellings WARNING and warning.

Are the docs outdated or I am doing something wrong here?

[EDIT]

According to the release notes of Z3 2.17 the option should be set via

(set-option WARNING <flag>)

but trying

(set-option WARNING false)

yields

(error "line 1 column 13: invalid command argument, keyword expected")

Answer 1

Ok, seems as if the docs are outdated. I finally found

(set-option :print-warning false)

in this answer and it works.