From fd389086efab473dc69971296bd6d3236f0dbfaf Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Wed, 8 Feb 2017 13:27:53 -0500 Subject: [PATCH] increase timeouts for typeclass tests --- macrotypes/info.rkt | 2 +- turnstile/info.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/macrotypes/info.rkt b/macrotypes/info.rkt index 3b22751..5956729 100644 --- a/macrotypes/info.rkt +++ b/macrotypes/info.rkt @@ -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))) diff --git a/turnstile/info.rkt b/turnstile/info.rkt index d82d4d4..7897ee4 100644 --- a/turnstile/info.rkt +++ b/turnstile/info.rkt @@ -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)))