copilot-c99-2.1.2: A compiler for Copilot targeting C99.

Safe HaskellNone
LanguageHaskell2010

Copilot.Compile.C99.Test.CheckSpec

Documentation

checkSpec :: Int -> Spec -> IO Bool Source