copilot-0.26: A stream DSL for writing embedded C monitors.
Language.Copilot.Libs.ErrorChks
Description
Basic error checking for other libraries.
nOneChk :: String -> Int -> Spec a -> Spec aSource
nPosChk :: String -> Int -> Spec a -> Spec aSource
int16Chk :: String -> Int -> Spec a -> Spec aSource