blob: b3e69a9927a7640d19a192f603222578889e71bb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#
# 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
endmodule
|