blob: 7491570c60c7a4ede36dc895ec69332ca729cc1a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#
# Option specification file for CVC4
# See src/options/base_options for a description of this file format
#
module PRINTER "options/printer_options.h" Printing
option modelFormatMode --model-format=MODE ModelFormatMode :handler CVC4::options::stringToModelFormatMode :default MODEL_FORMAT_MODE_DEFAULT :read-write :include "options/printer_modes.h" :handler-include "options/options_handler_interface.h"
print format mode for models, see --model-format=help
option instFormatMode --inst-format=MODE InstFormatMode :handler CVC4::options::stringToInstFormatMode :default INST_FORMAT_MODE_DEFAULT :read-write :include "options/printer_modes.h" :handler-include "options/options_handler_interface.h"
print format mode for instantiations, see --inst-format=help
endmodule
|
