increase timeout for "teachpack.rkt" test

The test now runs concurrently with other GUI tests, so it competes
more for various resources.
This commit is contained in:
Matthew Flatt 2014-07-30 13:02:25 +01:00
parent dc271e8347
commit 5d57311897
2 changed files with 5 additions and 1 deletions

View File

@ -274,3 +274,7 @@
(test-built-in-teachpacks))
(fire-up-drracket-and-run-tests run-test)
(module+ test
(module config info
(define timeout 150)))

View File

@ -716,7 +716,7 @@ path/s is either such a string or a list of them.
"pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-coverage.rkt" responsible (robby matthias) drdr:command-line (raco "test" "-m" "--fresh-user" *)
"pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-save-file.rkt" responsible (robby matthias) drdr:command-line (raco "test" "-m" "--fresh-user" *)
"pkgs/drracket-pkgs/drracket-test/tests/drracket/teaching-lang-sharing-modules.rkt" drdr:timeout 800
"pkgs/drracket-pkgs/drracket-test/tests/drracket/teachpack.rkt" responsible (robby matthias) drdr:command-line (raco "test" "-m" "--fresh-user" *)
"pkgs/drracket-pkgs/drracket-test/tests/drracket/teachpack.rkt" responsible (robby matthias) drdr:command-line (raco "test" "-m" "--fresh-user" *) drdr:timeout 150
"pkgs/drracket-pkgs/drracket-test/tests/drracket/test-engine-test.rkt" responsible (sperber) drdr:command-line (raco "test" "-m" "--fresh-user" *) drdr:timeout 480
"pkgs/drracket-pkgs/drracket-test/tests/jpr" responsible (mflatt)
"pkgs/ds-store-pkgs" responsible (mflatt)