From cc78d5d55b6e1a941b4f4d99c28e35f1363dbcab Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sun, 26 Jan 2025 09:44:07 +0100 Subject: Add some more interesting links about PBT --- pbt/ts/src/index.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'pbt/ts/src/index.ts') diff --git a/pbt/ts/src/index.ts b/pbt/ts/src/index.ts index 37ab4c9..c6fc73a 100644 --- a/pbt/ts/src/index.ts +++ b/pbt/ts/src/index.ts @@ -91,8 +91,8 @@ let prop_reverse_is_self_inverse = async function main() { let rng = new Prando(Math.random() * 1000); - let reverse_append_result = prop_reverse_with_two_lists(rng, 10); - let reverse_reverse_result = prop_reverse_is_self_inverse(rng, 10); + 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)); } -- cgit v1.2.3