From 57472750c9cd14b9907895e5269b3be01819c7b3 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sat, 15 Nov 2025 09:33:09 +0100 Subject: [pbt] expose simpler interface Property.run --- pbt/ts/src/index.ts | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'pbt/ts/src/index.ts') diff --git a/pbt/ts/src/index.ts b/pbt/ts/src/index.ts index cb7fd6e..25b97aa 100644 --- a/pbt/ts/src/index.ts +++ b/pbt/ts/src/index.ts @@ -1,6 +1,6 @@ import "dotenv/config"; import Prando from 'prando'; -import { Gen, listOf, property, shrinklist, someInt } from "./property"; +import { Gen, Property, listOf, property, shrinklist, someInt } from "./property"; function arrayEquals(a: A[], b: A[]): boolean { return Array.isArray(a) && @@ -54,9 +54,8 @@ let prop_reverse_is_self_inverse = property(reverse_is_self_inverse, listOf(someInt), shrinklist); async function main() { - let rng = new Prando(Math.random() * 1000); - let reverse_append_result = prop_reverse_with_two_lists(rng, 0); - let reverse_reverse_result = prop_reverse_is_self_inverse(rng, 0); + let reverse_append_result = Property.run(prop_reverse_with_two_lists); + let reverse_reverse_result = Property.run(prop_reverse_is_self_inverse); console.log('reverse_append_result: ' + JSON.stringify(reverse_append_result)); console.log('reverse_reverse_result: ' + JSON.stringify(reverse_reverse_result)); }; -- cgit v1.3.1