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