Searched refs:isSafetyCheckingIStage (Results 1 – 2 of 2) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
| H A D | Symbolic.hs | 46 , SBVExpr(..), newExpr, isCodeGenMode, isSafetyCheckingIStage, isRunIStage, isSetupIStage
904 isSafetyCheckingIStage :: IStage -> Bool
905 isSafetyCheckingIStage s = case s of function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Control/ |
| H A D | Utils.hs | 84 … , isSafetyCheckingIStage, isSetupIStage, isRunIStage, IStage(..), QueryT(..)
1465 … SMTMode _ stage s c -> (c, s, isSafetyCheckingIStage stage, isSetupIStage stage)
|