From 15d5efb95c03eab33bc4f28050dba99eeeab039c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <mikael.mayer@epfl.ch>
Date: Thu, 28 Apr 2016 17:22:19 +0200
Subject: [PATCH] Increased the timeout for InputCoverage to pass all the
tests.
---
.../scala/leon/synthesis/disambiguation/InputCoverage.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/synthesis/disambiguation/InputCoverage.scala b/src/main/scala/leon/synthesis/disambiguation/InputCoverage.scala
index 775ed59d8..f1cdfd2b4 100644
--- a/src/main/scala/leon/synthesis/disambiguation/InputCoverage.scala
+++ b/src/main/scala/leon/synthesis/disambiguation/InputCoverage.scala
@@ -244,7 +244,7 @@ class InputCoverage(fd: FunDef, fds: Set[FunDef])(implicit c: LeonContext, p: Pr
} else None
})
val start_fd2 = fdMap2.getOrElse(start_fd, start_fd)
- val tfactory = SolverFactory.getFromSettings(c, program2).withTimeout(5.seconds)
+ val tfactory = SolverFactory.getFromSettings(c, program2).withTimeout(10.seconds)
val vctx = new VerificationContext(c, program2, tfactory)
val vcs = VerificationPhase.generateVCs(vctx, Seq(start_fd2))
--
GitLab