Searched refs:SMTOption (Results 1 – 9 of 9) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/ |
| H A D | Types.hs | 17 , SMTOption(..), isStartModeOption, isOnlyOnceOption, setSMTOption
101 data SMTOption = DiagnosticOutputChannel FilePath function
119 isStartModeOption :: SMTOption -> Bool
137 isOnlyOnceOption :: SMTOption -> Bool
158 setSMTOption :: SMTOption -> String
|
| H A D | BaseIO.hs | 19 import Data.SBV.Control.Types (CheckSatResult, SMTInfoFlag, SMTInfoResponse, SMTOption, SMTReasonUn…
42 getOption :: (a -> SMTOption) -> Query (Maybe SMTOption)
|
| H A D | Query.hs | 28 …, SMTOption(..), SMTInfoFlag(..), SMTErrorBehavior(..), SMTReasonUnknown(..), SMTInfoResponse(..),…
169 getOption :: (MonadIO m, MonadQuery m) => (a -> SMTOption) -> m (Maybe SMTOption)
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Trans/ |
| H A D | Control.hs | 74 , SMTOption(..)
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/ |
| H A D | Control.hs | 76 , SMTOption(..)
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Client/ |
| H A D | BaseIO.hs | 37 import Data.SBV.Control.Types (SMTOption)
893 addNewSMTOption :: SMTOption -> Symbolic ()
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
| H A D | Symbolic.hs | 1126 , rSMTOptions :: IORef [SMTOption]
1754 addNewSMTOption :: MonadSymbolic m => SMTOption -> m ()
2014 , solverSetOptions :: [SMTOption] -- ^ Options to set as we start the solver
|
| H A D | Data.hs | 415 setOption :: SMTOption -> m ()
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Provers/ |
| H A D | Prover.hs | 80 mkConfig :: SMTSolver -> SMTLibVersion -> [Control.SMTOption] -> SMTConfig
107 allOnStdOut :: Control.SMTOption
|