copilot-cbmc-0.11: Copilot interface to a C model-checker.
Copilot.Tools.CBMC
data Params Source
Constructors
Fields
defaultParams :: ParamsSource
genCBMC :: Params -> Spec -> IO ()Source