From 89ad8cd06260d7249a417318ed1c5441604da2c8 Mon Sep 17 00:00:00 2001 From: Burke Fetscher Date: Tue, 18 Mar 2014 23:17:15 -0500 Subject: [PATCH] adjust enum distributions --- .../redex/examples/benchmark/delim-cont/delim-cont-base.rkt | 2 +- .../redex/examples/benchmark/list-machine/list-machine-base.rkt | 2 +- .../redex/examples/benchmark/poly-stlc/poly-stlc-base.rkt | 2 +- .../redex/examples/benchmark/rbtrees/rbtrees-base.rkt | 2 +- .../redex/examples/benchmark/stlc-sub/stlc-sub-base.rkt | 2 +- .../redex-examples/redex/examples/benchmark/stlc/stlc-base.rkt | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) 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 65794d72d6..72b6b233af 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,7 +937,7 @@ (judgment-holds (tc · · ,e t))) (define (generate-enum-term) - (generate-term abort-lang e #:i-th (pick-an-index 0.0001))) + (generate-term abort-lang e #:i-th (pick-an-index 0.125))) (define (ordered-enum-generator) (define index 0) 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 f1d8221bc3..3c7f13976f 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,7 +430,7 @@ [#f #f])) (define (generate-enum-term) - (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.0001))) + (generate-term list-machine-typing (l0 : ι p) #:i-th (pick-an-index 0.5))) (define (ordered-enum-generator) (let ([index 0]) 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 be6cf0dcc2..482ad6d37d 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 @@ -284,7 +284,7 @@ (equal? t-type red-type)))))))) (define (generate-enum-term) - (generate-term poly-stlc M #:i-th (pick-an-index 0.001))) + (generate-term poly-stlc M #:i-th (pick-an-index 0.065))) (define (ordered-enum-generator) (let ([index 0]) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-base.rkt index 9a443f1884..d48f55eecc 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-base.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-base.rkt @@ -290,7 +290,7 @@ (ins-preserves-rb-tree t))) (define (generate-enum-term) - (generate-term rbtrees t #:i-th (pick-an-index 0.2))) + (generate-term rbtrees t #:i-th (pick-an-index 0.25))) (define (ordered-enum-generator) (let ([index 0]) 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 eeee9ace5b..3fab6149ba 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 @@ -279,7 +279,7 @@ (equal? t-type red-type)))))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index 0.0001))) + (generate-term stlc M #:i-th (pick-an-index 0.035))) (define (ordered-enum-generator) (let ([index 0]) 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 9a3ce8741c..4e281bd778 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 @@ -258,7 +258,7 @@ (equal? t-type (type-check (car red-res)))))))) (define (generate-enum-term) - (generate-term stlc M #:i-th (pick-an-index 0.0001))) + (generate-term stlc M #:i-th (pick-an-index 0.035))) (define (ordered-enum-generator) (let ([index 0])