From 3e4eb2ffa8a9442c8569652fc21cbeafbdca896f Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 9 Jul 2015 17:52:17 +0200
Subject: [PATCH] Put CegisPerformanceTest in correct package
---
...sPerformance.scala => CegisPerformanceTest.scala} | 12 +++++++++---
1 file changed, 9 insertions(+), 3 deletions(-)
rename src/test/scala/leon/test/performance/{CegisPerformance.scala => CegisPerformanceTest.scala} (82%)
diff --git a/src/test/scala/leon/test/performance/CegisPerformance.scala b/src/test/scala/leon/test/performance/CegisPerformanceTest.scala
similarity index 82%
rename from src/test/scala/leon/test/performance/CegisPerformance.scala
rename to src/test/scala/leon/test/performance/CegisPerformanceTest.scala
index fb758a5dd..f2ad6c2b7 100644
--- a/src/test/scala/leon/test/performance/CegisPerformance.scala
+++ b/src/test/scala/leon/test/performance/CegisPerformanceTest.scala
@@ -1,3 +1,7 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
+
+package leon.test.performance
+
import leon._
import leon.synthesis._
import leon.synthesis.rules._
@@ -7,7 +11,7 @@ import leon.frontends.scalac._
import org.scalameter.api._
-class CegisPerfTest extends PerformanceTest.OfflineRegressionReport {
+class CegisPerformanceTest extends PerformanceTest.OfflineRegressionReport {
override def persistor = new SerializationPersistor
override def executor: Executor = LocalExecutor(warmer, aggregator, measurer)
@@ -23,8 +27,10 @@ class CegisPerfTest extends PerformanceTest.OfflineRegressionReport {
val leonReporter = new TestSilentReporter
val paths = List(f.getPath)
- val ctx = Main.processOptions(paths).copy(reporter = leonReporter,
- interruptManager = new InterruptManager(leonReporter))
+ val ctx = Main.processOptions(paths).copy(
+ reporter = leonReporter,
+ interruptManager = new InterruptManager(leonReporter)
+ )
(f.getName.dropRight(6), ctx, extraction.run(ctx)(paths))
}
--
GitLab