1 files changed, 3 insertions, 4 deletions
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: 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));
 };