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

increase timeouts for typeclass tests

Browse Source
This commit is contained in:
Stephen Chang 2017-02-08 13:27:53 -05:00
parent 115aae8e73
commit fd389086ef
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
macrotypes/info.rkt
View File

@ -14,4 +14,4 @@
"examples/tests/mlish/bg/README.md"))
(define test-timeouts
'(("examples/tests/mlish/generic.mlish" 200)))
'(("examples/tests/mlish/generic.mlish" 300)))

2
turnstile/info.rkt
View File

@ -22,5 +22,5 @@
"examples/tests/mlish/bg/README.md"))
(define test-timeouts
'(("examples/tests/mlish/generic.mlish" 200)
'(("examples/tests/mlish/generic.mlish" 300)
("examples/tests/tlb-infer-tests.rkt" 1800)))