suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

don't refresh generator on timeouts to avoid looping timeouts

Browse Source
This commit is contained in:
Burke Fetscher 2014-03-19 12:24:43 -05:00
parent 4a3e80d22b
commit 9bb9f2b150
5 changed files with 21 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt
View File

@ -945,11 +945,11 @@
(generate-term abort-lang e #:i-th (pick-an-index 0.125)))
(define (ordered-enum-generator)
(define index 0)
(define index -1)
(λ ()
(begin0
(generate-term abort-lang e #:i-th index)
(set! index (add1 index)))))
(begin
(set! index (add1 index))
(generate-term abort-lang e #:i-th index))))
(define fixed
(term

8
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt
View File

@ -943,11 +943,11 @@
(generate-term abort-lang e #:i-th (pick-an-index 0.125)))
(define (ordered-enum-generator)
(define index 0)
(define index -1)
(λ ()
(begin0
(generate-term abort-lang e #:i-th index)
(set! index (add1 index)))))
(begin
(set! index (add1 index))
(generate-term abort-lang e #:i-th index))))
(define fixed
(term

8
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt
View File

@ -943,11 +943,11 @@
(generate-term abort-lang e #:i-th (pick-an-index 0.125)))
(define (ordered-enum-generator)
(define index 0)
(define index -1)
(λ ()
(begin0
(generate-term abort-lang e #:i-th index)
(set! index (add1 index)))))
(begin
(set! index (add1 index))
(generate-term abort-lang e #:i-th index))))
(define fixed
(term

8
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt
View File

@ -940,11 +940,11 @@
(generate-term abort-lang e #:i-th (pick-an-index 0.125)))
(define (ordered-enum-generator)
(define index 0)
(define index -1)
(λ ()
(begin0
(generate-term abort-lang e #:i-th index)
(set! index (add1 index)))))
(begin
(set! index (add1 index))
(generate-term abort-lang e #:i-th index))))
(define fixed
(term

10
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/test-file.rkt
View File

@ -110,9 +110,9 @@
(collect-garbage)
(define s-time (current-process-milliseconds))
(define terms 0)
(let trials-loop ([t 0])
(let trials-loop ([t 0]
[g (get-gen)])
(define t-time (current-process-milliseconds))
(define g (get-gen))
(let loop ([i 0])
(define tot-time (- (current-process-milliseconds) s-time))
(cond
@ -125,12 +125,12 @@
(define term (with-timeout (* 5 60 1000) g
(λ () (printf "\nTimed out generating a test term in: ~a, ~a\n"
fname type)
(trials-loop t))))
(trials-loop t g))))
(define me-time (- (current-process-milliseconds) t-time))
(define ok? (with-timeout (* 5 60 1000) (λ () (check term))
(λ () (printf "\nIn ~a, ~a, timed out checking the term:~a\n"
fname type term)
(trials-loop t))))
(trials-loop t g))))
(cond
[(not ok?)
(when verbose?
@ -146,7 +146,7 @@
(t . < . 5)))
(begin
(set! terms (+ i terms))
(trials-loop (add1 t)))
(trials-loop (add1 t) (get-gen)))
(void))]
[else
(loop (add1 i))])]))))