copilot-core-0.2.3: An intermediate representation for Copilot.

Safe HaskellSafe-Infered

Copilot.Core.Random

Description

Random spec generator.

Documentation

randomSpec :: Int -> Weights -> StdGen -> SpecSource