copilot-cbmc-2.1.1: Copilot interface to a C model-checker.

Safe HaskellNone

Copilot.Tools.CBMC

Documentation

data Params Source

Constructors

Params 

Fields

numIterations :: Int
 

defaultParams :: ParamsSource

genCBMC :: Params -> Spec -> IO ()Source

atomPrefix :: Maybe StringSource

sbvPrefix :: Maybe StringSource

appendPrefix :: Maybe String -> String -> StringSource