copilot-0.28: A stream DSL for writing embedded C monitors.

Language.Copilot.Tests.Random

Description

Generate random specs for testing. We do not generate external array indexes.

Documentation

data Operator a Source

Constructors

Operator (forall g. RandomGen g => (forall a' g'. (Streamable a', Random a', RandomGen g') => g' -> SpecSet -> (Spec a', g')) -> g -> (Spec a, g)) 

fromOp :: Operator a -> forall g. RandomGen g => (forall a' g'. (Streamable a', Random a', RandomGen g') => g' -> SpecSet -> (Spec a', g')) -> g -> (Spec a, g)Source