From afe907d319fce150c88a28b159c26c903f766bf2 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 4 Dec 2012 17:44:25 +0100
Subject: [PATCH] Benchmarks for CEGIS now take files per argument
---
src/test/scala/leon/benchmark/SynthesisBenchmarks.scala | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/test/scala/leon/benchmark/SynthesisBenchmarks.scala b/src/test/scala/leon/benchmark/SynthesisBenchmarks.scala
index 07efc4e1b..84bf363cd 100644
--- a/src/test/scala/leon/benchmark/SynthesisBenchmarks.scala
+++ b/src/test/scala/leon/benchmark/SynthesisBenchmarks.scala
@@ -41,7 +41,8 @@ object SynthesisBenchmarks extends App {
var nSuccessTotal, nInnapTotal, nDecompTotal, nAltTotal = 0
var tTotal: Long = 0
- forEachFileIn("testcases/synthesis/") { file =>
+ for (path <- args) {
+ val file = new File(path)
val ctx = LeonContext(
settings = Settings(
--
GitLab