Home
last modified time | relevance | path

Searched refs:isStartModeOption (Results 1 – 2 of 2) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/
H A DTypes.hs119 isStartModeOption :: SMTOption -> Bool
120 isStartModeOption DiagnosticOutputChannel{} = False function
121 isStartModeOption ProduceAssertions{} = True function
122 isStartModeOption ProduceAssignments{} = True function
123 isStartModeOption ProduceProofs{} = True function
124 isStartModeOption ProduceInterpolants{} = True function
125 isStartModeOption ProduceUnsatAssumptions{} = True function
126 isStartModeOption ProduceUnsatCores{} = True function
127 isStartModeOption RandomSeed{} = True function
128 isStartModeOption ReproducibleResourceLimit{} = False function
[all …]
H A DUtils.hs123 | isStartModeOption o = error $ unlines [ "" function