diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-26 09:44:07 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-26 09:44:07 +0100 |
| commit | cc78d5d55b6e1a941b4f4d99c28e35f1363dbcab (patch) | |
| tree | 8e8fbe925376e99a0ea1cb25efd58d17a574a9d9 /pbt/ts | |
| parent | fbfaafbc5711368234f9f92ad67ffa03f558a6fb (diff) | |
| download | lambda-nantes-cc78d5d55b6e1a941b4f4d99c28e35f1363dbcab.tar.gz | |
Add some more interesting links about PBT
Diffstat (limited to 'pbt/ts')
| -rw-r--r-- | pbt/ts/src/index.ts | 4 |
1 files changed, 2 insertions, 2 deletions
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)); } |
