Documentation

Fields

cFuncName :: String

Alternative primary function name. Leave empty to use compile name.

cType :: Type -> String

C type naming rules.

cPreCode :: String

C code to insert above (includes, macros, etc.).

cPostCode :: String

C code to insert below (main, etc.).

cRuleCoverage :: Bool

Enable rule coverage tracking.

cAssert :: Bool

Enable assertion checking.

cAssertName :: String

Name of assertion function. Type: void assert(char*, cType Bool);

cCover :: Bool

Enable functional coverage accumulation.

cCoverName :: String

Name of coverage function. Type: void cover(char*, cType Bool);