Home
last modified time | relevance | path

Searched refs:ProduceProofs (Results 1 – 3 of 3) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/
H A DTypes.hs104 | ProduceProofs Bool constructor
123 isStartModeOption ProduceProofs{} = True function
141 isOnlyOnceOption ProduceProofs{} = True function
163 cvt (ProduceProofs b) = opt [":produce-proofs", smtBool b]
H A DQuery.hs174 …ProduceProofs{} -> askFor "ProduceProofs" ":produce-proofs" $…
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Queries/
H A DBasicQuery.hs50 setOption $ ProduceProofs True
65 _ <- getOption ProduceProofs