From 208fd364a9a8bdc0e12993ace4f1829303548476 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sat, 15 Nov 2025 09:18:12 +0100 Subject: [pbt] configure running tests w/ jest --- pbt/ts/src/index.ts | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'pbt/ts/src/index.ts') diff --git a/pbt/ts/src/index.ts b/pbt/ts/src/index.ts index 1e9b8c0..cb7fd6e 100644 --- a/pbt/ts/src/index.ts +++ b/pbt/ts/src/index.ts @@ -47,7 +47,7 @@ function shrink2lists([l1, l2]: [A[], A[]]): [A[], A[]][] { return result; } -let prop_reverse_with_two_lists = +export let prop_reverse_with_two_lists = property<[number[], number[]]>(reverse_with_two_lists, gen2lists(someInt), shrink2lists); let prop_reverse_is_self_inverse = @@ -57,8 +57,6 @@ 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); - console.log('result: ' + JSON.stringify(reverse_append_result)); - console.log('result: ' + JSON.stringify(reverse_reverse_result)); -} - -main(); + console.log('reverse_append_result: ' + JSON.stringify(reverse_append_result)); + console.log('reverse_reverse_result: ' + JSON.stringify(reverse_reverse_result)); +}; -- cgit v1.3.1