random-instance

2016-03-10 23:29:14 +00:00 · 2016-03-10 23:29:14 +00:00 · 0003516d9d
parent e780417355
commit 0003516d9d
1 changed files with 5 additions and 1 deletions
--- a/prospect/random-test.rkt
+++ b/prospect/random-test.rkt
@ -14,7 +14,8 @@
         check-property*
         check-property
         reject-test
-         ==>)
+         ==>
+         random-instance)

 (require racket/match)
 (require rackunit)
@ -130,3 +131,6 @@

 (define-syntax-rule (==> precondition expr)
  (if (not precondition) (reject-test) expr))
+
+(define (random-instance e)
+  (from-nat e (random-index e)))