1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
import Prando from "prando";
type Result = 'OK' | 'Falsified' | 'Exception';
type ShrinkResult<A> = { counterexample: A, shrinks: number };
type TestResult<A> = {
result: Result,
counterexample: ShrinkResult<A> | null
};
type Predicate<A> = (a: A) => boolean;
export type Gen<A> = (rng: Prando) => ((size: number) => A);
type Shrinker<A> = (a: A) => [A];
const MAX_SUCCESS = 100;
function findMinimalCounterExample<A>(x: A,
predicate: Predicate<A>,
shrinker: Shrinker<A>,
depth: number = 0): ShrinkResult<A> {
let xs = shrinker(x);
let counterexample = x;
let shrinks = depth;
for (let y of xs) {
if (!predicate(y)) {
let shrink = findMinimalCounterExample(y, predicate, shrinker, depth + 1);
if (shrink.shrinks > depth) {
counterexample = shrink.counterexample;
shrinks = shrink.shrinks;
}
}
}
return { counterexample, shrinks };
}
export function property<A>(rng: Prando,
size: number,
predicate: Predicate<A>,
generator: Gen<A>,
shrinker: Shrinker<A>): TestResult<A> {
let gen = generator(rng);
for (let i = 0; i < MAX_SUCCESS; i++) {
let x = gen(size);
if (!predicate(x)) {
let counterexample = findMinimalCounterExample(x, predicate, shrinker);
return { result: 'Falsified', counterexample };
}
}
return { result: 'OK', counterexample: null };
}
|
