From 1330900af226da07d5ea07f712117a9faa5880e5 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 4 Dec 2012 15:49:17 +0100
Subject: [PATCH] Nicer that way, one test per choose
---
.../test/synthesis/RuleApplicationSuite.scala | 32 +++++++++----------
1 file changed, 16 insertions(+), 16 deletions(-)
diff --git a/src/test/scala/leon/test/synthesis/RuleApplicationSuite.scala b/src/test/scala/leon/test/synthesis/RuleApplicationSuite.scala
index fa1305579..91ea7f8d3 100644
--- a/src/test/scala/leon/test/synthesis/RuleApplicationSuite.scala
+++ b/src/test/scala/leon/test/synthesis/RuleApplicationSuite.scala
@@ -77,28 +77,28 @@ class SynthesisSuite extends FunSuite {
fullName
}
- test("Synthesizing %3d: [%s]".format(nextInt(), displayName)) {
- assert(file.exists && file.isFile && file.canRead,
- "Benchmark [%s] is not a readable file".format(displayName))
+ assert(file.exists && file.isFile && file.canRead,
+ "Benchmark [%s] is not a readable file".format(displayName))
- val ctx = LeonContext(
- settings = Settings(
- synthesis = true,
- xlang = false,
- verify = false
- ),
- files = List(file),
- reporter = new SilentReporter
- )
+ val ctx = LeonContext(
+ settings = Settings(
+ synthesis = true,
+ xlang = false,
+ verify = false
+ ),
+ files = List(file),
+ reporter = new SilentReporter
+ )
- val opts = SynthesizerOptions()
+ val opts = SynthesizerOptions()
- val pipeline = leon.plugin.ExtractionPhase andThen ExtractProblemsPhase
+ val pipeline = leon.plugin.ExtractionPhase andThen ExtractProblemsPhase
- val (results, solver) = pipeline.run(ctx)(file.getPath :: Nil)
+ val (results, solver) = pipeline.run(ctx)(file.getPath :: Nil)
- for ((f, ps) <- results; p <- ps) {
+ for ((f, ps) <- results; p <- ps) {
+ test("Synthesizing %3d: %-20s [%s]".format(nextInt(), f.id.toString, displayName)) {
block(solver, f, p)
}
}
--
GitLab