blob: e16f963f49874c09cf4151221e264782d2f56054 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#
# 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
option szsCompliant --szs-compliant bool :default false
temporary support for szs ontolotogy, print if conjecture is found
# 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
|