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

Safe Haskell	None
Language	Haskell2010

Copilot.Tools.CBMC

Documentation

data Params Source

Constructors

Params
Fields numIterations :: Int

defaultParams :: Params Source

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

atomPrefix :: Maybe String Source

sbvPrefix :: Maybe String Source

appendPrefix :: Maybe String -> String -> String Source