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

Safe HaskellSafe

Copilot.Core.Random

Description

Random spec generator.

Documentation

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