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

Actually fix the tests.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2014-12-08 10:03:34 -05:00
parent 8b3ed72205
commit b5172405ff
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
typed-racket-test/tests/info.rkt
View File

@ -3,11 +3,10 @@
(define name "Typed Racket Test Suite")
(define test-timeouts
'(("typed-racket/typed-racket/optimizer/run.rkt" 1200)
("typed-racket/typed-racket/run.rkt" 1800)
("typed-racket/typed-racket/tr-random-testing.rkt" 300)
("typed-racket/typed-racket/with-tr-contracts.rkt" 1000)
))
'(("typed-racket/optimizer/run.rkt" 1200)
("typed-racket/run.rkt" 1800)
("typed-racket/tr-random-testing.rkt" 300)
("typed-racket/with-tr-contracts.rkt" 1000)))
;; No need to compile the actual integration tests, just the harness.