blob: f277b231dcbb8e55ff36dac471b1181c805e5066 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#
# Option specification file for CVC4
# See src/options/base_options for a description of this file format
#
module PARSER "parser/options.h" Parser
common-option strictParsing --strict-parsing bool
be less tolerant of non-conforming inputs
option memoryMap --mmap bool
memory map file input
option semanticChecks /--no-checking bool :default DO_SEMANTIC_CHECKS_BY_DEFAULT :link /--no-type-checking
disable ALL semantic checks, including type checks
# this is just to support security in the online version
# (--no-include-file disables filesystem access in TPTP and SMT2 parsers)
undocumented-option canIncludeFile /--no-include-file bool :default true
endmodule
|
