From 47b6b7629f00e98fe740a9618ff976a5ee884812 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Fri, 6 Sep 2013 18:05:15 +0200
Subject: [PATCH] Increase test timeout
This should prevent false-negatives on unpredictably slow veficiation
tests such as invalid/RedBlackTree.
---
src/test/scala/leon/test/LeonTestSuite.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/test/LeonTestSuite.scala b/src/test/scala/leon/test/LeonTestSuite.scala
index 056d97327..1954187b8 100644
--- a/src/test/scala/leon/test/LeonTestSuite.scala
+++ b/src/test/scala/leon/test/LeonTestSuite.scala
@@ -102,7 +102,7 @@ trait LeonTestSuite extends FunSuite with Timeouts {
testContext = generateContext
- failAfter(2.minutes) {
+ failAfter(5.minutes) {
body
}
--
GitLab