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

Copilot.Tools.CBMC

Documentation

data Params Source

Constructors

Params 

Fields

numIterations :: Int
 

defaultParams :: ParamsSource

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

atomPrefix, sbvPrefix :: Maybe StringSource

appendPrefix :: Maybe String -> String -> StringSource