copilot-cbmc-2.2.1: 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 #