PropTesting

Legacy random-wrapper helpers. For synthesis-backed inputs, dependent refinements, failure reports and shrinking, prefer @property with --test. See examples/testing/*_properties.ae and docs/stdlib-properties.md.
Imports
open Array; open Copy;
Table of Contents

Types

Random

(type)
type Random

Functions

random

def random : Random

generateInt

def generateInt (r : Random) : Int

generateFloat

def generateFloat (r : Random) : Float

generateList

def generateList (r : Random) : (Array Int)

countTrues

def countTrues (1 l : (Array Bool)) : Int

ratio

def ratio (a : Int) (b : Int) : Float

forAllInts

def forAllInts (func : (a : Int) → Bool) : Float

forAllFloats

def forAllFloats (func : (a : Float) → Bool) : Float

forAllLists

def forAllLists (func : (1 a : (Array Int)) → Bool) : Float