From 84b4294345a1f08c1f68ca4ac42bdc879b6f6340 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 25 Feb 2014 06:17:27 -0600 Subject: [PATCH] adjust probability of zero for the enumerator in the various benchmarks to try to get a better balance between generation time and size of terms --- .../redex/examples/benchmark/delim-cont/delim-cont-1.rkt | 2 +- .../redex/examples/benchmark/delim-cont/delim-cont-2.rkt | 2 +- .../redex/examples/benchmark/delim-cont/delim-cont-3.rkt | 2 +- .../redex/examples/benchmark/delim-cont/delim-cont-base.rkt | 2 +- .../redex/examples/benchmark/list-machine/list-machine-1.rkt | 2 +- .../redex/examples/benchmark/list-machine/list-machine-2.rkt | 2 +- .../redex/examples/benchmark/list-machine/list-machine-3.rkt | 2 +- .../redex/examples/benchmark/list-machine/list-machine-base.rkt | 2 +- .../redex/examples/benchmark/poly-stlc/poly-stlc-10.rkt | 2 +- .../redex/examples/benchmark/poly-stlc/poly-stlc-2.rkt | 2 +- .../redex/examples/benchmark/poly-stlc/poly-stlc-3.rkt | 2 +- .../redex/examples/benchmark/poly-stlc/poly-stlc-4.rkt | 2 +- .../redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt | 2 +- .../redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt | 2 +- .../redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt | 2 +- .../redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt | 2 +- .../redex/examples/benchmark/poly-stlc/poly-stlc-9.rkt | 2 +- .../redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt | 2 +- .../redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt | 2 +- .../redex/examples/benchmark/stlc-sub/stlc-sub-2.rkt | 2 +- .../redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt | 2 +- .../redex/examples/benchmark/stlc-sub/stlc-sub-4.rkt | 2 +- .../redex/examples/benchmark/stlc-sub/stlc-sub-5.rkt | 2 +- .../redex/examples/benchmark/stlc-sub/stlc-sub-6.rkt | 2 +- .../redex/examples/benchmark/stlc-sub/stlc-sub-7.rkt | 2 +- .../redex/examples/benchmark/stlc-sub/stlc-sub-8.rkt | 2 +- .../redex/examples/benchmark/stlc-sub/stlc-sub-9.rkt | 2 +- .../redex/examples/benchmark/stlc-sub/stlc-sub-base.rkt | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-10.rkt | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt | 2 +- 38 files changed, 38 insertions(+), 38 deletions(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt index 404d71033b..bac87cc207 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt @@ -942,4 +942,4 @@ (define (generate-enum-term) - (generate-term abort-lang e #:i-th (pick-an-index))) + (generate-term abort-lang e #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt index ba1796b1c0..eef1e783d4 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt @@ -940,4 +940,4 @@ (define (generate-enum-term) - (generate-term abort-lang e #:i-th (pick-an-index))) + (generate-term abort-lang e #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt index 99d274cc18..05bc0755a9 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt @@ -940,4 +940,4 @@ (define (generate-enum-term) - (generate-term abort-lang e #:i-th (pick-an-index))) + (generate-term abort-lang e #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt index a4b7dd2b2e..2444bbbb81 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt @@ -937,4 +937,4 @@ (judgment-holds (tc · · ,e t))) (define (generate-enum-term) - (generate-term abort-lang e #:i-th (pick-an-index))) + (generate-term abort-lang e #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-1.rkt index 211ee69636..7b15d31659 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-1.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-1.rkt @@ -434,4 +434,4 @@ [#f #f])) (define (generate-enum-term) - (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index))) + (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-2.rkt index a1053afe47..e0ceb119a2 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-2.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-2.rkt @@ -434,4 +434,4 @@ [#f #f])) (define (generate-enum-term) - (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index))) + (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-3.rkt index d11994c700..9072a5c8f8 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-3.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-3.rkt @@ -430,4 +430,4 @@ [#f #f])) (define (generate-enum-term) - (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index))) + (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-base.rkt index f5950bfe89..acd9445502 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-base.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/list-machine/list-machine-base.rkt @@ -430,4 +430,4 @@ [#f #f])) (define (generate-enum-term) - (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index))) + (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-10.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-10.rkt index 802f1160f4..b9e49404f1 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-10.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-10.rkt @@ -281,4 +281,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term poly-stlc M #:i-th (pick-an-index))) + (generate-term poly-stlc M #:i-th (pick-an-index 0.001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-2.rkt index 9295c9d689..85ee8670da 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-2.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-2.rkt @@ -279,4 +279,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term poly-stlc M #:i-th (pick-an-index))) + (generate-term poly-stlc M #:i-th (pick-an-index 0.001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-3.rkt index f882f15138..9e7063ec71 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-3.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-3.rkt @@ -281,4 +281,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term poly-stlc M #:i-th (pick-an-index))) + (generate-term poly-stlc M #:i-th (pick-an-index 0.001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-4.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-4.rkt index d38add8a6d..0b2be997ba 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-4.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-4.rkt @@ -281,4 +281,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term poly-stlc M #:i-th (pick-an-index))) + (generate-term poly-stlc M #:i-th (pick-an-index 0.001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt index 7976bd56e0..266f46f78c 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-5.rkt @@ -281,4 +281,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term poly-stlc M #:i-th (pick-an-index))) + (generate-term poly-stlc M #:i-th (pick-an-index 0.001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt index c840eb0d2c..003e0eb79e 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-6.rkt @@ -281,4 +281,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term poly-stlc M #:i-th (pick-an-index))) + (generate-term poly-stlc M #:i-th (pick-an-index 0.001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt index b708610baf..20241b6357 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt @@ -280,4 +280,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term poly-stlc M #:i-th (pick-an-index))) + (generate-term poly-stlc M #:i-th (pick-an-index 0.001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt index e684952d01..4455912eef 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt @@ -281,4 +281,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term poly-stlc M #:i-th (pick-an-index))) + (generate-term poly-stlc M #:i-th (pick-an-index 0.001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-9.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-9.rkt index 10adf4a32c..8dc98f316d 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-9.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-9.rkt @@ -281,4 +281,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term poly-stlc M #:i-th (pick-an-index))) + (generate-term poly-stlc M #:i-th (pick-an-index 0.001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt index 111395ac02..a1e1e51535 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt @@ -281,4 +281,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term poly-stlc M #:i-th (pick-an-index))) + (generate-term poly-stlc M #:i-th (pick-an-index 0.001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt index 24e5b7a069..9722c65bc1 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-1.rkt @@ -276,4 +276,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-2.rkt index 4a354ad19c..379fcd9c89 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-2.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-2.rkt @@ -275,4 +275,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt index 4cd59fe415..b786a32d9c 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-3.rkt @@ -276,4 +276,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-4.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-4.rkt index 00fa200c1d..927be999a9 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-4.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-4.rkt @@ -274,4 +274,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-5.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-5.rkt index 3667c49127..b229421ca4 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-5.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-5.rkt @@ -276,4 +276,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-6.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-6.rkt index 557544c3d7..fa27233a76 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-6.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-6.rkt @@ -276,4 +276,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-7.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-7.rkt index 1820470f00..5b13a0080f 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-7.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-7.rkt @@ -276,4 +276,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-8.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-8.rkt index 4f80fe57f7..23e3cc97c9 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-8.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-8.rkt @@ -275,4 +275,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-9.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-9.rkt index 79cc7e3ee0..46ba80afd2 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-9.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-9.rkt @@ -276,4 +276,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-base.rkt index d70066454f..768bdd90ee 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-base.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc-sub/stlc-sub-base.rkt @@ -275,4 +275,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-10.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-10.rkt index 7b091423a8..e23aedfe19 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-10.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-10.rkt @@ -251,4 +251,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt index 554c940440..5e00d0735c 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt @@ -251,4 +251,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt index f100577666..b40e413e27 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-3.rkt @@ -252,4 +252,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt index 4b3981cc90..5d5d0314d4 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-4.rkt @@ -252,4 +252,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt index f60ce40966..8cc7a5480e 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-5.rkt @@ -251,4 +251,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt index 9080a48d73..a0087ee598 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt @@ -251,4 +251,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt index 52472fc106..cba11ac300 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-7.rkt @@ -250,4 +250,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt index 4f4516fd25..b0ce8472f3 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-8.rkt @@ -251,4 +251,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt index 4c0d013104..112819a955 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-9.rkt @@ -251,4 +251,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt index ff3349be03..a2b2c7d30f 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt @@ -252,4 +252,4 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index))) + (generate-term stlc M #:i-th (pick-an-index 0.0001)))