Copilot.Tools.CBMC

Documentation

data Params

Constructors

Params

Fields

numIterations :: Int

defaultParams :: Params

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