Copyright | (c) 2013-2020 Galois Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
data W4ProverConfig Source #
proverNames :: [String] Source #
setupProver :: String -> IO (Either String ([String], W4ProverConfig)) Source #
satProve :: W4ProverConfig -> Bool -> ProverCommand -> ModuleCmd (Maybe String, ProverResult) Source #
satProveOffline :: W4ProverConfig -> Bool -> ProverCommand -> ((Handle -> IO ()) -> IO ()) -> ModuleCmd (Maybe String) Source #
data W4Exception Source #
Instances
Show W4Exception Source # | |
Defined in Cryptol.Symbolic.What4 showsPrec :: Int -> W4Exception -> ShowS # show :: W4Exception -> String # showList :: [W4Exception] -> ShowS # | |
Exception W4Exception Source # | |
Defined in Cryptol.Symbolic.What4 |