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

Safe HaskellNone
LanguageHaskell2010

Copilot.Tools.CBMC

Documentation

data Params Source

Constructors

Params 

Fields

numIterations :: Int