From 31f80b4ae20a4a410859ce132220c75298bd56de Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 31 Dec 2013 17:31:17 -0700 Subject: [PATCH] copy `gracket` command props to `lock-name` as "gui" test config --- .../tests/drracket/example-tool.rkt | 3 ++ .../drracket-test/tests/drracket/hangman.rkt | 4 +++ .../drracket-test/tests/drracket/io.rkt | 1 + .../tests/drracket/language-test.rkt | 1 + .../tests/drracket/memory-log.rkt | 4 +++ .../tests/drracket/module-lang-test.rkt | 1 + .../tests/drracket/repl-test-debug.rkt | 1 + .../tests/drracket/repl-test-debugprofile.rkt | 1 + .../tests/drracket/repl-test-misc.rkt | 4 +++ .../tests/drracket/repl-test-raw.rkt | 1 + .../drracket-test/tests/drracket/snips.rkt | 5 +-- .../tests/drracket/syncheck-test.rkt | 1 + .../tests/drracket/teaching-lang-coverage.rkt | 4 +++ .../drracket/teaching-lang-save-file.rkt | 4 +++ .../tests/drracket/teachpack.rkt | 4 +++ .../tests/drracket/test-engine-test.rkt | 1 + .../raw-problems/build-solution-sets.rkt | 4 +++ .../tests/actual-bigger.rkt | 4 +++ .../tests/test-snip-lib.rkt | 4 +++ .../private/aligned-pasteboard/tests/test.rkt | 4 +++ .../aligned-pasteboard/tests/test2.rkt | 4 +++ .../gui-test/framework/tests/main.rkt | 1 + .../2htdp/tests/full-scene-visible.rkt | 4 +++ .../tests/on-tick-universe-with-limit.rkt | 4 +++ .../htdp-test/2htdp/tests/perform-record.rkt | 36 +++++++++++++++---- .../htdp-test/2htdp/tests/perform-robby.rkt | 4 +++ .../2htdp/tests/record-stop-when.rkt | 3 ++ .../htdp-test/2htdp/tests/record.rkt | 4 +++ .../htdp-test/2htdp/tests/release.rkt | 4 +++ .../htdp-test/2htdp/tests/struct-universe.rkt | 4 +++ .../htdp-test/2htdp/tests/ufo-rename.rkt | 4 +++ .../2htdp/tests/universe-restart.rkt | 4 +++ .../htdp-test/2htdp/tests/world0-stops.rkt | 3 ++ 33 files changed, 126 insertions(+), 9 deletions(-) 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 14caeb571c..4a94844800 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/example-tool.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/example-tool.rkt @@ -32,3 +32,6 @@ (namespace-require 'tests/drracket/private/run-example-tool) (eval '(go))) +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/hangman.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/hangman.rkt index 15e40a6d3a..feccb90b7f 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/hangman.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/hangman.rkt @@ -21,3 +21,7 @@ (define labels (map (λ (x) (send x get-label)) windows)) (member "Hangman" labels)) (poll-until user-hangman-frame?))) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/io.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/io.rkt index 8dd13c8933..5d58837fc4 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/io.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/io.rkt @@ -211,4 +211,5 @@ add this test: (module+ test (module config info + (define lock-name "gui") (define timeout 500))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/language-test.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/language-test.rkt index 7e22bce36d..765b4689e2 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/language-test.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/language-test.rkt @@ -1520,4 +1520,5 @@ the settings above should match r5rs (module+ test (module config info + (define lock-name "gui") (define timeout 1500))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/memory-log.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/memory-log.rkt index fcd6763f58..a67b9f1f1b 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/memory-log.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/memory-log.rkt @@ -72,3 +72,7 @@ (λ () (send (send drs-frame get-definitions-text) syncheck:arrows-visible?))) (wait-and-print)))) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/module-lang-test.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/module-lang-test.rkt index 9c244bea89..0c52ed1fe4 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/module-lang-test.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/module-lang-test.rkt @@ -428,4 +428,5 @@ (eval-jit-enabled #f) (dynamic-require (quote-module-path "..") #f) (module config info + (define lock-name "gui") (define timeout 800))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-debug.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-debug.rkt index 7e8e44e331..57ee315368 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-debug.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-debug.rkt @@ -4,4 +4,5 @@ (module+ test (module config info + (define lock-name "gui") (define timeout 300))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-debugprofile.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-debugprofile.rkt index 73a290071a..2550a8c785 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-debugprofile.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-debugprofile.rkt @@ -4,4 +4,5 @@ (module+ test (module config info + (define lock-name "gui") (define timeout 300))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-misc.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-misc.rkt index 8e6f552b22..10f05bfae4 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-misc.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-misc.rkt @@ -1,3 +1,7 @@ #lang racket/base (require "private/repl-test.rkt" "private/drracket-test-util.rkt") (fire-up-drracket-and-run-tests (λ () (run-test '(misc)))) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-raw.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-raw.rkt index df58fa5cce..227482ba8b 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-raw.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/repl-test-raw.rkt @@ -4,4 +4,5 @@ (module+ test (module config info + (define lock-name "gui") (define timeout 300))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/snips.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/snips.rkt index dec0365fe6..e3d4c275c8 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/snips.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/snips.rkt @@ -25,5 +25,6 @@ (delete-directory/files tmpdir))) - - +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/syncheck-test.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/syncheck-test.rkt index d59e68e7cd..04c24fe78d 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/syncheck-test.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/syncheck-test.rkt @@ -1668,4 +1668,5 @@ (module+ test (module config info + (define lock-name "gui") (define timeout 200))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-coverage.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-coverage.rkt index 19df1430c0..9fff3145f9 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-coverage.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-coverage.rkt @@ -117,3 +117,7 @@ (test-line t) got (test-uncovered t))))))))) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-save-file.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-save-file.rkt index ca73cc9c13..aab6aa133d 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-save-file.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-save-file.rkt @@ -46,3 +46,7 @@ (delete-file fn) (unless (equal? result "1\n> ") (error 'save-teaching-lang-file.rkt "expected the program to produce 1 (followed by the prompt), got ~s" result))))))) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/teachpack.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/teachpack.rkt index 90a13fe02e..d4616ef81d 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/teachpack.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/teachpack.rkt @@ -274,3 +274,7 @@ (test-built-in-teachpacks)) (fire-up-drracket-and-run-tests run-test) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/drracket-pkgs/drracket-test/tests/drracket/test-engine-test.rkt b/pkgs/drracket-pkgs/drracket-test/tests/drracket/test-engine-test.rkt index a2a8f574e8..ffcc71f394 100644 --- a/pkgs/drracket-pkgs/drracket-test/tests/drracket/test-engine-test.rkt +++ b/pkgs/drracket-pkgs/drracket-test/tests/drracket/test-engine-test.rkt @@ -522,4 +522,5 @@ (module+ test (module config info + (define lock-name "gui") (define timeout 480))) diff --git a/pkgs/games/paint-by-numbers/raw-problems/build-solution-sets.rkt b/pkgs/games/paint-by-numbers/raw-problems/build-solution-sets.rkt index 7aed452b6c..b65062fb85 100644 --- a/pkgs/games/paint-by-numbers/raw-problems/build-solution-sets.rkt +++ b/pkgs/games/paint-by-numbers/raw-problems/build-solution-sets.rkt @@ -288,3 +288,7 @@ The col and row type specs are in sig.rkt and the solution type is: ',(solve name rows cols)))) problems))))))))))) sets) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/actual-bigger.rkt b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/actual-bigger.rkt index 7c767553e9..ecead3ae6e 100644 --- a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/actual-bigger.rkt +++ b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/actual-bigger.rkt @@ -33,3 +33,7 @@ (>= (send vpb1 get-aligned-min-height) (send vpb2 get-aligned-min-height) (snip-height es)) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test-snip-lib.rkt b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test-snip-lib.rkt index a1449dcbca..899a7840df 100644 --- a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test-snip-lib.rkt +++ b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test-snip-lib.rkt @@ -126,3 +126,7 @@ (send frame show #f)) ;; (printf "tests done\n") + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test.rkt b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test.rkt index 087829fa70..5e3da15e44 100644 --- a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test.rkt +++ b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test.rkt @@ -145,3 +145,7 @@ (send frame show #f) (printf "done\n") + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test2.rkt b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test2.rkt index c804b6570c..2280a996d6 100644 --- a/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test2.rkt +++ b/pkgs/gui-pkgs/gui-lib/mrlib/private/aligned-pasteboard/tests/test2.rkt @@ -112,3 +112,7 @@ (send frame show #f) (printf "done\n") + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/gui-pkgs/gui-test/framework/tests/main.rkt b/pkgs/gui-pkgs/gui-test/framework/tests/main.rkt index 14e625d92b..513f89ff11 100644 --- a/pkgs/gui-pkgs/gui-test/framework/tests/main.rkt +++ b/pkgs/gui-pkgs/gui-test/framework/tests/main.rkt @@ -121,4 +121,5 @@ (module+ test (module config info + (define lock-name "gui") (define timeout 360))) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/full-scene-visible.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/full-scene-visible.rkt index c67acc1d5d..6d9fca73c3 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/full-scene-visible.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/full-scene-visible.rkt @@ -13,3 +13,7 @@ (see-full-rectangle 3 2:rectangle) (see-full-rectangle 3 1:rectangle) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/on-tick-universe-with-limit.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/on-tick-universe-with-limit.rkt index 02b46c1996..414ca71654 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/on-tick-universe-with-limit.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/on-tick-universe-with-limit.rkt @@ -6,3 +6,7 @@ (on-tick (lambda (w) (make-bundle (add1 w) '() '())) 1/28 3) (on-msg (lambda (w sender msg) (make-bundle w '() '()))) (on-new cons)) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/perform-record.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/perform-record.rkt index 9505204297..8ee3e3f55e 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/perform-record.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/perform-record.rkt @@ -50,7 +50,7 @@ 1 0 10 #"text-box%\0" 1 0 32 #"(lib \"text-snipclass.ss\" \"xml\")\0" 1 0 1 6 #"wxloc\0" - 0 0 129 0 1 #"\0" + 0 0 134 0 1 #"\0" 0 75 1 #"\0" 0 12 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 0 9 #"Standard\0" @@ -201,13 +201,28 @@ 0 -1 1 #"\0" 1 0 -1 92 -1 93 -1 -1 0 1 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 0 1 #"\0" +0 75 7 #"Monaco\0" +0.0 11 90 -1 90 -1 3 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255 +255 255 1 -1 2 1 #"\0" +0 -1 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255 +255 255 -1 -1 2 1 #"\0" +0 -1 1 #"\0" +1.0 0 -1 92 -1 93 -1 -1 0 1 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 150 0 150 0 +0 0 -1 -1 2 1 #"\0" +0 -1 1 #"\0" +1.0 0 -1 92 93 -1 -1 -1 0 1 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 255 0 0 0 0 +0 -1 -1 2 1 #"\0" +0 -1 1 #"\0" +1.0 0 -1 92 -1 93 -1 -1 0 1 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 175 0 0 +0 -1 -1 2 1 #"\0" +0 -1 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0 +-1 -1 0 1 #"\0" 0 75 23 #"Lucida Sans Typewriter\0" 0.0 11 90 -1 90 -1 1 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255 255 255 1 -1 2 1 #"\0" 0 -1 1 #"\0" -1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0 --1 -1 2 1 #"\0" -0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 38 38 128 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" @@ -434,7 +449,7 @@ -1 -1 21 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 0 0 0 --1 -1 0 412 0 28 3 12 #"#lang racket" +-1 -1 0 419 0 28 3 12 #"#lang racket" 0 0 24 3 1 #" " 0 0 24 29 1 #"\n" 0 0 24 29 1 #"\n" @@ -467,8 +482,7 @@ 0 0 17 3 1 #" " 0 0 17 3 4 #"posn" 0 0 17 3 1 #" " -0 0 17 3 1 #"(" -0 0 17 3 5 #"x y))" +0 0 17 3 6 #"(x y))" 0 0 24 29 1 #"\n" 0 0 24 29 1 #"\n" 0 0 17 3 12 #";; CONSTANTS" @@ -1377,6 +1391,14 @@ 0 0 24 3 5 #" (" 0 0 15 3 6 #"define" 0 0 24 3 1 #" " +0 0 14 3 9 #"lock-name" +0 0 24 3 1 #" " +0 0 19 3 5 #"\"gui\"" +0 0 24 3 1 #")" +0 0 24 29 1 #"\n" +0 0 24 3 5 #" (" +0 0 15 3 6 #"define" +0 0 24 3 1 #" " 0 0 14 3 7 #"timeout" 0 0 24 3 1 #" " 0 0 21 3 3 #"300" diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/perform-robby.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/perform-robby.rkt index 15f9503631..da264c01b1 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/perform-robby.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/perform-robby.rkt @@ -19,3 +19,7 @@ (stop-when zero?)) (printf "done\n") + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/record-stop-when.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/record-stop-when.rkt index 21dd9466d7..ed63fd50ba 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/record-stop-when.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/record-stop-when.rkt @@ -33,3 +33,6 @@ (unless (image=? (crop 0 0 100 100 i) j) (eprintf "this test needs to be revised -- the way 'world' writes images adds an extra pixel -- think! \n")) +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/record.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/record.rkt index 1fd225a652..750f673696 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/record.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/record.rkt @@ -39,3 +39,7 @@ (create-n-images 3 3 "images3/") (create-n-images 0 0 "images0/") + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/release.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/release.rkt index 6ba26a4476..3983b84895 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/release.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/release.rkt @@ -28,3 +28,7 @@ 1 n))))) (main 1) + +(module+ test + (module config info + (define lock-name "gui"))) 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 a4e059cac0..9407836300 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/struct-universe.rkt @@ -51,3 +51,7 @@ (launch-many-worlds (client 'blue) (client 'red) (server))) (require (submod "." run)) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/ufo-rename.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/ufo-rename.rkt index 54c0fd0912..d46a2184b4 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/ufo-rename.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/ufo-rename.rkt @@ -13,3 +13,7 @@ (uni:on-tick add1) (uni:stop-when (lambda (y) (>= y 100))) (uni:on-draw create-UFO-scene)) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-restart.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-restart.rkt index d1506d9a8c..00cec9cf08 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-restart.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/universe-restart.rkt @@ -45,3 +45,7 @@ (launch-many-worlds (u) (w "one") (w "two") (w "three"))) ; (require (submod "." drop-bad)) + +(module+ test + (module config info + (define lock-name "gui"))) diff --git a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/world0-stops.rkt b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/world0-stops.rkt index 6dcac1b3c3..5617260eb9 100644 --- a/pkgs/htdp-pkgs/htdp-test/2htdp/tests/world0-stops.rkt +++ b/pkgs/htdp-pkgs/htdp-test/2htdp/tests/world0-stops.rkt @@ -26,3 +26,6 @@ (test (big-bang 0 (on-draw (draw 0)) (stop-when zero? (draw 1))) 0 "1") +(module+ test + (module config info + (define lock-name "gui")))