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;
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

repeat

def repeat (v : a) (n : Int) : Array a

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