From 7047b9917c207aed16a0e67118ab1d55530ebd78 Mon Sep 17 00:00:00 2001 From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch> Date: Tue, 10 Feb 2015 12:59:44 +0100 Subject: [PATCH] Get 400 tests --- src/main/scala/leon/repair/Repairman.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/leon/repair/Repairman.scala b/src/main/scala/leon/repair/Repairman.scala index e97cabe91..65aa3f9b8 100644 --- a/src/main/scala/leon/repair/Repairman.scala +++ b/src/main/scala/leon/repair/Repairman.scala @@ -321,7 +321,7 @@ class Repairman(ctx: LeonContext, initProgram: Program, fd: FunDef, verifTimeout import purescala.Extractors.UnwrapTuple val maxEnumerated = 1000 - val maxValid = 100 + val maxValid = 400 val evaluator = new CodeGenEvaluator(ctx, program, CodeGenParams(checkContracts = true)) val enum = new MemoizedEnumerator[TypeTree, Expr](ValueGrammar.getProductions _) -- GitLab