summaryrefslogtreecommitdiff
path: root/pbt/ts/src/index.ts
diff options
context:
space:
mode:
Diffstat (limited to 'pbt/ts/src/index.ts')
-rw-r--r--pbt/ts/src/index.ts6
1 files changed, 4 insertions, 2 deletions
diff --git a/pbt/ts/src/index.ts b/pbt/ts/src/index.ts
index cf8b7ff..37ab4c9 100644
--- a/pbt/ts/src/index.ts
+++ b/pbt/ts/src/index.ts
@@ -91,8 +91,10 @@ let prop_reverse_is_self_inverse =
async function main() {
let rng = new Prando(Math.random() * 1000);
- let result = prop_reverse_with_two_lists(rng, 10);
- console.log('result: ' + JSON.stringify(result));
+ let reverse_append_result = prop_reverse_with_two_lists(rng, 10);
+ let reverse_reverse_result = prop_reverse_is_self_inverse(rng, 10);
+ console.log('result: ' + JSON.stringify(reverse_append_result));
+ console.log('result: ' + JSON.stringify(reverse_reverse_result));
}
main();