Согласно списку параметров INI должны быть логическим флагом WARNING, но установить его в Z3 3.2 (x64_mt) через
(set-option :WARNING false)
дает unsupported
для обоих написаний WARNING
и warning
.
Документы устарели или я что-то не так делаю?
[ИЗМЕНИТЬ]
Согласно примечаниям к выпуску Z3 2.17 опция должна быть установлена через
(set-option WARNING <flag>)
но пытаюсь
(set-option WARNING false)
урожаи
(error "line 1 column 13: invalid command argument, keyword expected")