copy drdr:random command props to test configs

This commit is contained in:
Matthew Flatt 2014-01-01 08:21:31 -07:00
parent 31f80b4ae2
commit 48a85125da
38 changed files with 186 additions and 54 deletions

View File

@ -34,4 +34,5 @@
(module+ test (module+ test
(module config info (module config info
(define lock-name "gui"))) (define lock-name "gui")
(define random? #t)))

View File

@ -0,0 +1,3 @@
#lang info
(define test-randoms '("time.rkt"))

View File

@ -24,3 +24,6 @@
(unless (incs . < . (/ N 3)) (unless (incs . < . (/ N 3))
(error "multiple `racket/draw' instantiations seem to accumulate memory")) (error "multiple `racket/draw' instantiations seem to accumulate memory"))
(module+ test
(module config info
(define random? #t)))

View File

@ -54,4 +54,5 @@
(module+ test (module+ test
(module config info (module config info
(define lock-name "gui"))) (define lock-name "gui")
(define random? #t)))

View File

@ -17,3 +17,7 @@
(parameterize ([current-namespace (make-base-namespace)]) (parameterize ([current-namespace (make-base-namespace)])
(dynamic-require `math/bigfloat #f))) (dynamic-require `math/bigfloat #f)))
(loop (add1 i) (cons c l)))))) (loop (add1 i) (cons c l))))))
(module+ test
(module config info
(define random? #t)))

View File

@ -32,3 +32,7 @@
(ws-recv conn)))))) (ws-recv conn))))))
(shutdown!))) (shutdown!)))
(module+ test
(module config info
(define random? #t)))

View File

@ -11,7 +11,8 @@ in parallel
(module test racket/base (module test racket/base
(require racket/path) (require racket/path)
(module config info (module config info
(define timeout 500)) (define timeout 500)
(define random? #t))
(require racket/runtime-path) (require racket/runtime-path)
(define-runtime-path me "run-all.rkt") (define-runtime-path me "run-all.rkt")

View File

@ -642,5 +642,6 @@ exec racket -qu "$0" ${1+"$@"}
(require syntax/location) (require syntax/location)
(parameterize ([current-command-line-arguments (parameterize ([current-command-line-arguments
(vector "--" "racket" "earley")]) (vector "--" "racket" "earley")])
(dynamic-require (quote-module-path "..") #f)))) (dynamic-require (quote-module-path "..") #f))
(module config info
(define random? #t))))

View File

@ -331,4 +331,5 @@ exec racket -qu "$0" ${1+"$@"}
(vector "racket" "simple")]) (vector "racket" "simple")])
(dynamic-require (quote-module-path "..") #f)) (dynamic-require (quote-module-path "..") #f))
(module config info (module config info
(define timeout 600)))) (define timeout 600)
(define random? #t))))

View File

@ -207,4 +207,8 @@ exec racket -qu "$0" ${1+"$@"}
(map (lambda (bm) (map (lambda (bm)
(run-benchmark impl bm)) (run-benchmark impl bm))
actual-benchmarks-to-run)) actual-benchmarks-to-run))
actual-implementations-to-run))) actual-implementations-to-run))
(module+ test
(module config info
(define random? #t))))

View File

@ -37,3 +37,5 @@
("spectralnorm.rkt" ("25")) ("spectralnorm.rkt" ("25"))
("strcat.rkt" ("25")) ("strcat.rkt" ("25"))
("thread-ring.rkt" ("25")))) ("thread-ring.rkt" ("25"))))
(define test-randoms '("chameneos.rkt"))

View File

@ -905,3 +905,7 @@ We should also test deep continuations.
(run-tests would-be-future) (run-tests would-be-future)
;; ---------------------------------------- ;; ----------------------------------------
(module+ test
(module config info
(define random? #t)))

View File

@ -196,3 +196,7 @@ Errors/exceptions and other kinds of control?
(eval p (namespace-anchor->namespace ns-here))) (eval p (namespace-anchor->namespace ns-here)))
(loop (- n 1))))) (loop (- n 1)))))
(newline) (newline)
(module+ test
(module config info
(define random? #t)))

View File

@ -152,3 +152,9 @@
;; lists ;; lists
(timing (in-set-bench big imm-list)) (timing (in-set-bench big imm-list))
(timing (slow-in-set-bench big imm-list)) (timing (slow-in-set-bench big imm-list))
;; ----------------------------------------
(module+ test
(module config info
(define random? #t)))

View File

@ -83,3 +83,8 @@
(when errs? (when errs?
(error "There were test failures")) (error "There were test failures"))
(printf "All tests passed.\n") (printf "All tests passed.\n")
(module+ test
(module config info
(define random? #t)))

View File

@ -373,3 +373,8 @@
(for ([i (in-range 1000)]) (for ([i (in-range 1000)])
(random-exponential-check)) (random-exponential-check))
(module+ test
(module config info
(define random? #t)))

View File

@ -30,3 +30,7 @@
(delete-files tmp1) (delete-files tmp1)
(delete-files tmp2) (delete-files tmp2)
(module+ test
(module config info
(define random? #t)))

View File

@ -10,7 +10,9 @@
(for-syntax racket/base)) (for-syntax racket/base))
(module+ test (module+ test
(main)) (main)
(module config info
(define random? #t)))
(define test1 (build-path (find-system-path 'temp-dir) "pcfd-test1")) (define test1 (build-path (find-system-path 'temp-dir) "pcfd-test1"))
(define test2 (build-path (find-system-path 'temp-dir) "pcfd-test2")) (define test2 (build-path (find-system-path 'temp-dir) "pcfd-test2"))

View File

@ -5,7 +5,9 @@
rackunit) rackunit)
(module+ test (module+ test
(main)) (main)
(module config info
(define random? #t)))
(define (main) (define (main)
(test-case (test-case

View File

@ -446,3 +446,7 @@
) )
;(report-errs) ;(report-errs)
(module+ test
(module config info
(define random? #t)))

View File

@ -75,3 +75,7 @@ process.
a) a)
(show-big-thing say x)))]) (show-big-thing say x)))])
(loop (sub1 n) (cons ak accums)))))) (loop (sub1 n) (cons ak accums))))))
(module+ test
(module config info
(define random? #t)))

View File

@ -2,7 +2,9 @@
(require racket/place) (require racket/place)
(module+ test (module+ test
(main)) (main)
(module config info
(define random? #t)))
(define (main) (define (main)
(parameterize ([current-custodian (make-custodian)]) (parameterize ([current-custodian (make-custodian)])

View File

@ -5,3 +5,7 @@
23 23
(lambda (n) (lambda (n)
(apply void (build-list (expt 2 n) (λ (x) x))))) (apply void (build-list (expt 2 n) (λ (x) x)))))
(module+ test
(module config info
(define random? #t)))

View File

@ -112,3 +112,7 @@
["dict-has-key? (not present)" ["dict-has-key? (not present)"
(dict-has-key? ht 2)])) (dict-has-key? ht 2)]))
(module+ test
(module config info
(define random? #t)))

View File

@ -59,4 +59,6 @@
(module test racket/base (module test racket/base
(require syntax/location) (require syntax/location)
(parameterize ([current-command-line-arguments (vector "-c")]) (parameterize ([current-command-line-arguments (vector "-c")])
(dynamic-require (quote-module-path "..") #f))) (dynamic-require (quote-module-path "..") #f))
(module config info
(define random? #t)))

View File

@ -73,4 +73,6 @@
["hash-set*!" ["hash-set*!"
(fun-hash-set*! ht 4000)])) (fun-hash-set*! ht 4000)]))
(module+ test
(module config info
(define random? #t)))

View File

@ -1,9 +1,11 @@
#lang racket/load #lang racket/base
;; This test tries to stress module expansion, module invocation/visit, ;; This test tries to stress module expansion, module invocation/visit,
;; and JIT compilation with stack overflows. It turns out to be a useful ;; and JIT compilation with stack overflows. It turns out to be a useful
;; GC test, too, since stack overflows trigger many minor GCs. ;; GC test, too, since stack overflows trigger many minor GCs.
(module stress racket/load
(module loopy racket/base (module loopy racket/base
(require (for-syntax racket/base)) (require (for-syntax racket/base))
(provide loopy) (provide loopy)
@ -34,4 +36,10 @@
(sub1 v))) (sub1 v)))
(if (eval-jit-enabled) (if (eval-jit-enabled)
503 503
50)))) 50)))))
(require 'stress)
(module+ test
(module config info
(define random? #t)))

View File

@ -111,3 +111,8 @@
([i (in-range 2000)] ([i (in-range 2000)]
#:when (even? i)) #:when (even? i))
(add1 num))]) (add1 num))])
(module+ test
(module config info
(define random? #t)))

View File

@ -40,3 +40,8 @@
(for/fold ([l empty]) (for/fold ([l empty])
([i (in-range n)]) ([i (in-range n)])
(list* i #f l))))) (list* i #f l)))))
(module+ test
(module config info
(define random? #t)))

View File

@ -37,4 +37,6 @@
(printf "\n\nThe following \"time\" line is to trick drdr into graphing\n") (printf "\n\nThe following \"time\" line is to trick drdr into graphing\n")
(printf "the size of all of the .zo files, in bytes\n") (printf "the size of all of the .zo files, in bytes\n")
(printf "cpu time: ~a real time: ~a gc time: ~a\n" (printf "cpu time: ~a real time: ~a gc time: ~a\n"
(cdar tree) (cdar tree) (cdar tree))) (cdar tree) (cdar tree) (cdar tree))
(module config info
(define random? #t)))

View File

@ -11,7 +11,8 @@
(module+ test (module+ test
(main "--rules" "2250" "--size" "3") (main "--rules" "2250" "--size" "3")
(module config info (module config info
(define timeout 240))) (define timeout 240)
(define random? #t)))
(define (main . args) (define (main . args)
(define from-grammar-tests #f) (define from-grammar-tests #f)

View File

@ -37,3 +37,8 @@
(flush-output)) (flush-output))
(delete-directory/files tmp-dir) (delete-directory/files tmp-dir)
(module+ test
(module config info
(define timeout 200)
(define random? #t)))

View File

@ -274,3 +274,8 @@
#:keep-going? #t))) #:keep-going? #t)))
(printf "bad tests (usually typechecking failed): ~v~n" num-exceptions) (printf "bad tests (usually typechecking failed): ~v~n" num-exceptions)
(module+ test
(module config info
(define timeout 300)
(define random? #t)))

View File

@ -80,3 +80,6 @@
(STRESS raw ctc ad-hoc (rgx)) (STRESS raw ctc ad-hoc (rgx))
(module+ test
(module config info
(define random? #t)))

View File

@ -1,4 +1,4 @@
#lang racket/load #lang racket/base
(module raw-sort racket (module raw-sort racket
(define (insert <= e l) (define (insert <= e l)
@ -18,14 +18,14 @@
(provide sort)) (provide sort))
(module ctc-sort racket (module ctc-sort racket
(require 'raw-sort) (require (submod ".." raw-sort))
(provide/contract (provide/contract
[sort (-> (-> any/c any/c boolean?) [sort (-> (-> any/c any/c boolean?)
(listof any/c) (listof any/c)
(listof any/c))])) (listof any/c))]))
(module qdsl-sort racket (module qdsl-sort racket
(require unstable/temp-c/dsl 'raw-sort unstable/match) (require unstable/temp-c/dsl (submod ".." raw-sort) unstable/match)
(provide make-sort) (provide make-sort)
(define (make-sort) (define (make-sort)
(contract (contract
@ -42,7 +42,7 @@
sort 'pos 'neg))) sort 'pos 'neg)))
(module dsl-sort racket (module dsl-sort racket
(require unstable/temp-c/dsl 'raw-sort) (require unstable/temp-c/dsl (submod ".." raw-sort))
(provide make-sort) (provide make-sort)
(define (make-sort) (define (make-sort)
(contract (with-monitor (label 'sort (-> (label 'order (-> any/c any/c boolean?)) (contract (with-monitor (label 'sort (-> (label 'order (-> any/c any/c boolean?))
@ -57,7 +57,7 @@
'pos 'neg))) 'pos 'neg)))
(module smart-sort racket (module smart-sort racket
(require unstable/temp-c/monitor 'raw-sort) (require unstable/temp-c/monitor (submod ".." raw-sort))
(define returned? #f) (define returned? #f)
(define (sort-monitor evt) (define (sort-monitor evt)
(match evt (match evt
@ -75,11 +75,11 @@
(listof any/c)))])) (listof any/c)))]))
(module sort-timer racket (module sort-timer racket
(require (prefix-in dsl: 'dsl-sort) (require (prefix-in dsl: (submod ".." dsl-sort))
(prefix-in qdsl: 'qdsl-sort) (prefix-in qdsl: (submod ".." qdsl-sort))
(prefix-in smart: 'smart-sort) (prefix-in smart: (submod ".." smart-sort))
(prefix-in raw: 'raw-sort) (prefix-in raw: (submod ".." raw-sort))
(prefix-in ctc: 'ctc-sort) (prefix-in ctc: (submod ".." ctc-sort))
tests/stress) tests/stress)
(define l (build-list 200 (compose random add1))) (define l (build-list 200 (compose random add1)))
@ -91,3 +91,7 @@
["smart" (smart:sort <= l)])) ["smart" (smart:sort <= l)]))
(require 'sort-timer) (require 'sort-timer)
(module+ test
(module config info
(define random? #t)))

View File

@ -61,3 +61,8 @@
monitor-ctc+atomic monitor-ctc+atomic
dsl-ctc dsl-ctc
dsl-ctc+atomic) dsl-ctc+atomic)
(module+ test
(module config info
(define random? #t)))

View File

@ -27,3 +27,8 @@ racket-pth
(stress-it (stress-it
ttt:raw ttt:raw
ttt:ctc) ttt:ctc)
(module+ test
(module config info
(define random? #t)))

View File

@ -69,3 +69,8 @@
=error> "monitor disallowed" =error> "monitor disallowed"
(tic-tac-toe (random-player 'O) (cheater-2 'X)) (tic-tac-toe (random-player 'O) (cheater-2 'X))
=error> "monitor disallowed") =error> "monitor disallowed")
(module+ test
(module config info
(define random? #t)))