Safe Haskell | None |
---|---|
Language | Haskell2010 |
- transformProofACSL :: Spec -> Spec
Documentation
transformProofACSL :: Spec -> Spec Source #
A Copilot specification consists of a list of variables bound to anonymous streams, a list of anomymous streams, a list of observers, and a list of triggers. data Spec = Spec { specStreams :: [Stream] , specObservers :: [Observer] , specTriggers :: [Trigger] , specProperties :: [Property] }