From 48a85125dae2db557443daaa7893f84abbd15f93 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 1 Jan 2014 08:21:31 -0700 Subject: [PATCH] copy `drdr:random` command props to test configs --- .../tests/drracket/example-tool.rkt | 3 +- pkgs/frtime/tests/info.rkt | 3 + .../gui-test/tests/gracket/draw-mem.rkt | 3 + .../htdp-test/2htdp/tests/struct-universe.rkt | 3 +- .../math/tests/bigfloat-custodian.rkt | 4 ++ .../net-test/tests/net/stress/websocket.rkt | 4 ++ .../planet-test/tests/planet/run-all.rkt | 3 +- .../tests/racket/benchmarks/common/auto.rkt | 5 +- .../tests/racket/benchmarks/rx/auto.rkt | 3 +- .../tests/racket/benchmarks/shootout/auto.rkt | 6 +- .../tests/racket/benchmarks/shootout/info.rkt | 2 + .../racket-test/tests/future/future.rkt | 4 ++ .../tests/future/random-future.rkt | 4 ++ .../racket-test/tests/generic/benchmark.rkt | 6 ++ .../racket-test/tests/openssl/basic.rkt | 5 ++ .../racket-test/tests/racket/format.rkt | 5 ++ .../tests/racket/parallel-build.rkt | 4 ++ .../tests/racket/place-channel-fd.rkt | 4 +- .../tests/racket/place-channel-socket.rkt | 4 +- .../tests/racket/place-channel.rkt | 4 ++ .../racket-test/tests/racket/prompt-sfs.rkt | 4 ++ .../tests/racket/runaway-place.rkt | 4 +- .../racket-test/tests/racket/stress/apply.rkt | 4 ++ .../racket-test/tests/racket/stress/dict.rkt | 4 ++ .../racket-test/tests/racket/stress/fuzz.rkt | 4 +- .../racket-test/tests/racket/stress/hash.rkt | 4 +- .../tests/racket/stress/module-stack.rkt | 68 +++++++++++-------- .../tests/racket/stress/sequence.rkt | 5 ++ .../tests/racket/stress/vector.rkt | 5 ++ .../racket-pkgs/racket-test/tests/zo-size.rkt | 4 +- .../examples/delim-cont/randomized-tests.rkt | 3 +- .../redex-test/redex/tests/ryr-test.rkt | 5 ++ .../tests/typed-racket/tr-random-testing.rkt | 5 ++ .../tests/unstable/temp-c/bench-affine.rkt | 3 + .../tests/unstable/temp-c/bench.rkt | 24 ++++--- .../tests/unstable/temp-c/id-bench.rkt | 5 ++ .../tests/unstable/temp-c/ttt-bench.rkt | 5 ++ .../tests/unstable/temp-c/ttt-players.rkt | 5 ++ 38 files changed, 186 insertions(+), 54 deletions(-) create mode 100644 pkgs/frtime/tests/info.rkt diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/example-tool.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/example-tool.rkt index 4a94844800..f7a546400b 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/example-tool.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/example-tool.rkt @@ -34,4 +34,5 @@ (module+ test (module config info - (define lock-name "gui"))) + (define lock-name "gui") + (define random? #t))) diff --git a/pkgs/frtime/tests/info.rkt b/pkgs/frtime/tests/info.rkt new file mode 100644 index 0000000000..6b60f3a7a6 --- /dev/null +++ b/pkgs/frtime/tests/info.rkt @@ -0,0 +1,3 @@ +#lang info + +(define test-randoms '("time.rkt")) diff --git a/pkgs/gui-pkgs/gui-test/tests/gracket/draw-mem.rkt b/pkgs/gui-pkgs/gui-test/tests/gracket/draw-mem.rkt index c3e749fd7d..547ff02eae 100644 --- a/pkgs/gui-pkgs/gui-test/tests/gracket/draw-mem.rkt +++ b/pkgs/gui-pkgs/gui-test/tests/gracket/draw-mem.rkt @@ -24,3 +24,6 @@ (unless (incs . < . (/ N 3)) (error "multiple `racket/draw' instantiations seem to accumulate memory")) +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt index 9407836300..8ba889a7b7 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt @@ -54,4 +54,5 @@ (module+ test (module config info - (define lock-name "gui"))) + (define lock-name "gui") + (define random? #t))) diff --git a/pkgs/math-pkgs/math-test/math/tests/bigfloat-custodian.rkt b/pkgs/math-pkgs/math-test/math/tests/bigfloat-custodian.rkt index fe7200c040..4e04e244e4 100644 --- a/pkgs/math-pkgs/math-test/math/tests/bigfloat-custodian.rkt +++ b/pkgs/math-pkgs/math-test/math/tests/bigfloat-custodian.rkt @@ -17,3 +17,7 @@ (parameterize ([current-namespace (make-base-namespace)]) (dynamic-require `math/bigfloat #f))) (loop (add1 i) (cons c l)))))) + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/net-pkgs/net-test/tests/net/stress/websocket.rkt b/pkgs/net-pkgs/net-test/tests/net/stress/websocket.rkt index 76a851064f..c4c9a31919 100644 --- a/pkgs/net-pkgs/net-test/tests/net/stress/websocket.rkt +++ b/pkgs/net-pkgs/net-test/tests/net/stress/websocket.rkt @@ -32,3 +32,7 @@ (ws-recv conn)))))) (shutdown!))) + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/planet-pkgs/planet-test/tests/planet/run-all.rkt b/pkgs/planet-pkgs/planet-test/tests/planet/run-all.rkt index c9f5de70b7..addce940f5 100644 --- a/pkgs/planet-pkgs/planet-test/tests/planet/run-all.rkt +++ b/pkgs/planet-pkgs/planet-test/tests/planet/run-all.rkt @@ -11,7 +11,8 @@ in parallel (module test racket/base (require racket/path) (module config info - (define timeout 500)) + (define timeout 500) + (define random? #t)) (require racket/runtime-path) (define-runtime-path me "run-all.rkt") diff --git a/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/common/auto.rkt b/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/common/auto.rkt index e478443d8e..ab2fd04408 100755 --- a/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/common/auto.rkt +++ b/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/common/auto.rkt @@ -642,5 +642,6 @@ exec racket -qu "$0" ${1+"$@"} (require syntax/location) (parameterize ([current-command-line-arguments (vector "--" "racket" "earley")]) - (dynamic-require (quote-module-path "..") #f)))) - + (dynamic-require (quote-module-path "..") #f)) + (module config info + (define random? #t)))) diff --git a/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/rx/auto.rkt b/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/rx/auto.rkt index d1832b1eb2..2fd29d849f 100755 --- a/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/rx/auto.rkt +++ b/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/rx/auto.rkt @@ -331,4 +331,5 @@ exec racket -qu "$0" ${1+"$@"} (vector "racket" "simple")]) (dynamic-require (quote-module-path "..") #f)) (module config info - (define timeout 600)))) + (define timeout 600) + (define random? #t)))) diff --git a/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/auto.rkt b/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/auto.rkt index 64103d0301..5f6c395ede 100755 --- a/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/auto.rkt +++ b/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/auto.rkt @@ -207,4 +207,8 @@ exec racket -qu "$0" ${1+"$@"} (map (lambda (bm) (run-benchmark impl bm)) actual-benchmarks-to-run)) - actual-implementations-to-run))) + actual-implementations-to-run)) + + (module+ test + (module config info + (define random? #t)))) diff --git a/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/info.rkt b/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/info.rkt index b2338a8c09..37dec1a163 100644 --- a/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/info.rkt +++ b/pkgs/racket-pkgs/racket-benchmarks/tests/racket/benchmarks/shootout/info.rkt @@ -37,3 +37,5 @@ ("spectralnorm.rkt" ("25")) ("strcat.rkt" ("25")) ("thread-ring.rkt" ("25")))) + +(define test-randoms '("chameneos.rkt")) diff --git a/pkgs/racket-pkgs/racket-test/tests/future/future.rkt b/pkgs/racket-pkgs/racket-test/tests/future/future.rkt index 72d3f3a603..e8a590066a 100644 --- a/pkgs/racket-pkgs/racket-test/tests/future/future.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/future/future.rkt @@ -905,3 +905,7 @@ We should also test deep continuations. (run-tests would-be-future) ;; ---------------------------------------- + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/future/random-future.rkt b/pkgs/racket-pkgs/racket-test/tests/future/random-future.rkt index 144f4abf57..f9b03dee19 100644 --- a/pkgs/racket-pkgs/racket-test/tests/future/random-future.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/future/random-future.rkt @@ -196,3 +196,7 @@ Errors/exceptions and other kinds of control? (eval p (namespace-anchor->namespace ns-here))) (loop (- n 1))))) (newline) + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/generic/benchmark.rkt b/pkgs/racket-pkgs/racket-test/tests/generic/benchmark.rkt index faff401d9a..0e05d0ff03 100644 --- a/pkgs/racket-pkgs/racket-test/tests/generic/benchmark.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/generic/benchmark.rkt @@ -152,3 +152,9 @@ ;; lists (timing (in-set-bench big imm-list)) (timing (slow-in-set-bench big imm-list)) + +;; ---------------------------------------- + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/openssl/basic.rkt b/pkgs/racket-pkgs/racket-test/tests/openssl/basic.rkt index ec4ec1912b..5eca2495ac 100644 --- a/pkgs/racket-pkgs/racket-test/tests/openssl/basic.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/openssl/basic.rkt @@ -83,3 +83,8 @@ (when errs? (error "There were test failures")) (printf "All tests passed.\n") + + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/format.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/format.rkt index 65f57ebddc..d4a6e85f2f 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/format.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/format.rkt @@ -373,3 +373,8 @@ (for ([i (in-range 1000)]) (random-exponential-check)) + + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/parallel-build.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/parallel-build.rkt index c5305ee76b..41555e7dc5 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/parallel-build.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/parallel-build.rkt @@ -30,3 +30,7 @@ (delete-files tmp1) (delete-files tmp2) + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/place-channel-fd.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/place-channel-fd.rkt index 8a8bbaf2ed..f1402a71d1 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/place-channel-fd.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/place-channel-fd.rkt @@ -10,7 +10,9 @@ (for-syntax racket/base)) (module+ test - (main)) + (main) + (module config info + (define random? #t))) (define test1 (build-path (find-system-path 'temp-dir) "pcfd-test1")) (define test2 (build-path (find-system-path 'temp-dir) "pcfd-test2")) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/place-channel-socket.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/place-channel-socket.rkt index 1056c65cd9..cc677347bf 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/place-channel-socket.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/place-channel-socket.rkt @@ -5,7 +5,9 @@ rackunit) (module+ test - (main)) + (main) + (module config info + (define random? #t))) (define (main) (test-case diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/place-channel.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/place-channel.rkt index ff80688e2b..0cacf7313c 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/place-channel.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/place-channel.rkt @@ -446,3 +446,7 @@ ) ;(report-errs) + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/prompt-sfs.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/prompt-sfs.rkt index cea6d2a9c0..18abbeff76 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/prompt-sfs.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/prompt-sfs.rkt @@ -75,3 +75,7 @@ process. a) (show-big-thing say x)))]) (loop (sub1 n) (cons ak accums)))))) + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/runaway-place.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/runaway-place.rkt index 14697d00a9..549fb3b090 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/runaway-place.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/runaway-place.rkt @@ -2,7 +2,9 @@ (require racket/place) (module+ test - (main)) + (main) + (module config info + (define random? #t))) (define (main) (parameterize ([current-custodian (make-custodian)]) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/stress/apply.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/stress/apply.rkt index 3c5cd5adcd..44dcb621c7 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/stress/apply.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/stress/apply.rkt @@ -5,3 +5,7 @@ 23 (lambda (n) (apply void (build-list (expt 2 n) (λ (x) x))))) + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/stress/dict.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/stress/dict.rkt index 5c6eba8b05..e2ca7895ad 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/stress/dict.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/stress/dict.rkt @@ -112,3 +112,7 @@ ["dict-has-key? (not present)" (dict-has-key? ht 2)])) + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/stress/fuzz.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/stress/fuzz.rkt index cf8137358f..cd18869be7 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/stress/fuzz.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/stress/fuzz.rkt @@ -59,4 +59,6 @@ (module test racket/base (require syntax/location) (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))) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/stress/hash.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/stress/hash.rkt index fde69b2894..2547b1a8c8 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/stress/hash.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/stress/hash.rkt @@ -73,4 +73,6 @@ ["hash-set*!" (fun-hash-set*! ht 4000)])) - +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/stress/module-stack.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/stress/module-stack.rkt index dc559569fe..ef9bee0150 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/stress/module-stack.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/stress/module-stack.rkt @@ -1,37 +1,45 @@ -#lang racket/load +#lang racket/base ;; This test tries to stress module expansion, module invocation/visit, ;; and JIT compilation with stack overflows. It turns out to be a useful ;; GC test, too, since stack overflows trigger many minor GCs. -(module loopy racket/base - (require (for-syntax racket/base)) - (provide loopy) - - (define-syntax (loopy stx) - (printf "~s\n" (variable-reference->module-base-phase (#%variable-reference))) - (if (= 100 (variable-reference->module-base-phase (#%variable-reference))) - #'(void) - #'(begin - (require (for-syntax 'loopy)) - (begin-for-syntax - (loopy)))))) +(module stress racket/load -(define results (make-vector 30)) + (module loopy racket/base + (require (for-syntax racket/base)) + (provide loopy) + + (define-syntax (loopy stx) + (printf "~s\n" (variable-reference->module-base-phase (#%variable-reference))) + (if (= 100 (variable-reference->module-base-phase (#%variable-reference))) + #'(void) + #'(begin + (require (for-syntax 'loopy)) + (begin-for-syntax + (loopy)))))) -(void - (let loop ([i 0]) - (vector-set-performance-stats! results) - (if (zero? (vector-ref results 5)) - (let ([v (loop (add1 i))]) - (if (zero? v) - (begin - (printf "at ~s\n" i) ; around 129000 for 32-bit w/JIT; around 16750 for 32-bit w/o JIT - (eval '(module overflow racket - (require 'loopy) - (loopy))) - -1) - (sub1 v))) - (if (eval-jit-enabled) - 503 - 50)))) + (define results (make-vector 30)) + + (void + (let loop ([i 0]) + (vector-set-performance-stats! results) + (if (zero? (vector-ref results 5)) + (let ([v (loop (add1 i))]) + (if (zero? v) + (begin + (printf "at ~s\n" i) ; around 129000 for 32-bit w/JIT; around 16750 for 32-bit w/o JIT + (eval '(module overflow racket + (require 'loopy) + (loopy))) + -1) + (sub1 v))) + (if (eval-jit-enabled) + 503 + 50))))) + +(require 'stress) + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/stress/sequence.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/stress/sequence.rkt index ebbca86f48..0f947653f9 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/stress/sequence.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/stress/sequence.rkt @@ -111,3 +111,8 @@ ([i (in-range 2000)] #:when (even? i)) (add1 num))]) + + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/stress/vector.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/stress/vector.rkt index 94bd733fcc..2631c5833b 100644 --- a/pkgs/racket-pkgs/racket-test/tests/racket/stress/vector.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/racket/stress/vector.rkt @@ -40,3 +40,8 @@ (for/fold ([l empty]) ([i (in-range n)]) (list* i #f l))))) + + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/racket-pkgs/racket-test/tests/zo-size.rkt b/pkgs/racket-pkgs/racket-test/tests/zo-size.rkt index 9b76bf01bc..1694b75b20 100644 --- a/pkgs/racket-pkgs/racket-test/tests/zo-size.rkt +++ b/pkgs/racket-pkgs/racket-test/tests/zo-size.rkt @@ -37,4 +37,6 @@ (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 "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))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/randomized-tests.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/randomized-tests.rkt index 31a6f6129e..835892044f 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/randomized-tests.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/randomized-tests.rkt @@ -11,7 +11,8 @@ (module+ test (main "--rules" "2250" "--size" "3") (module config info - (define timeout 240))) + (define timeout 240) + (define random? #t))) (define (main . args) (define from-grammar-tests #f) diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/ryr-test.rkt b/pkgs/redex-pkgs/redex-test/redex/tests/ryr-test.rkt index 42573786c4..9a76d8d978 100644 --- a/pkgs/redex-pkgs/redex-test/redex/tests/ryr-test.rkt +++ b/pkgs/redex-pkgs/redex-test/redex/tests/ryr-test.rkt @@ -37,3 +37,8 @@ (flush-output)) (delete-directory/files tmp-dir) + +(module+ test + (module config info + (define timeout 200) + (define random? #t))) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt index f3be472d7c..f24c5e9108 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt @@ -274,3 +274,8 @@ #:keep-going? #t))) (printf "bad tests (usually typechecking failed): ~v~n" num-exceptions) + +(module+ test + (module config info + (define timeout 300) + (define random? #t))) diff --git a/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/bench-affine.rkt b/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/bench-affine.rkt index dc3b20eb28..e8ac15f4ca 100644 --- a/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/bench-affine.rkt +++ b/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/bench-affine.rkt @@ -80,3 +80,6 @@ (STRESS raw ctc ad-hoc (rgx)) +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/bench.rkt b/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/bench.rkt index c81c31d63a..9ae7b2695c 100644 --- a/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/bench.rkt +++ b/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/bench.rkt @@ -1,4 +1,4 @@ -#lang racket/load +#lang racket/base (module raw-sort racket (define (insert <= e l) @@ -18,14 +18,14 @@ (provide sort)) (module ctc-sort racket - (require 'raw-sort) + (require (submod ".." raw-sort)) (provide/contract [sort (-> (-> any/c any/c boolean?) (listof any/c) (listof any/c))])) (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) (define (make-sort) (contract @@ -42,7 +42,7 @@ sort 'pos 'neg))) (module dsl-sort racket - (require unstable/temp-c/dsl 'raw-sort) + (require unstable/temp-c/dsl (submod ".." raw-sort)) (provide make-sort) (define (make-sort) (contract (with-monitor (label 'sort (-> (label 'order (-> any/c any/c boolean?)) @@ -57,7 +57,7 @@ 'pos 'neg))) (module smart-sort racket - (require unstable/temp-c/monitor 'raw-sort) + (require unstable/temp-c/monitor (submod ".." raw-sort)) (define returned? #f) (define (sort-monitor evt) (match evt @@ -75,11 +75,11 @@ (listof any/c)))])) (module sort-timer racket - (require (prefix-in dsl: 'dsl-sort) - (prefix-in qdsl: 'qdsl-sort) - (prefix-in smart: 'smart-sort) - (prefix-in raw: 'raw-sort) - (prefix-in ctc: 'ctc-sort) + (require (prefix-in dsl: (submod ".." dsl-sort)) + (prefix-in qdsl: (submod ".." qdsl-sort)) + (prefix-in smart: (submod ".." smart-sort)) + (prefix-in raw: (submod ".." raw-sort)) + (prefix-in ctc: (submod ".." ctc-sort)) tests/stress) (define l (build-list 200 (compose random add1))) @@ -91,3 +91,7 @@ ["smart" (smart:sort <= l)])) (require 'sort-timer) + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/id-bench.rkt b/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/id-bench.rkt index 9372d4a165..c963c3f8ba 100644 --- a/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/id-bench.rkt +++ b/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/id-bench.rkt @@ -61,3 +61,8 @@ monitor-ctc+atomic dsl-ctc dsl-ctc+atomic) + + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/ttt-bench.rkt b/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/ttt-bench.rkt index 4937d8cf22..6c576be9d0 100644 --- a/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/ttt-bench.rkt +++ b/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/ttt-bench.rkt @@ -27,3 +27,8 @@ racket-pth (stress-it ttt:raw ttt:ctc) + + +(module+ test + (module config info + (define random? #t))) diff --git a/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/ttt-players.rkt b/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/ttt-players.rkt index 63c871219b..bc205f9287 100644 --- a/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/ttt-players.rkt +++ b/pkgs/unstable-pkgs/unstable-test/tests/unstable/temp-c/ttt-players.rkt @@ -69,3 +69,8 @@ =error> "monitor disallowed" (tic-tac-toe (random-player 'O) (cheater-2 'X)) =error> "monitor disallowed") + + +(module+ test + (module config info + (define random? #t)))