From 3196a6543c4213c5d213cd24bde230880c131ad4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Tue, 11 Dec 2012 21:21:17 +0100
Subject: [PATCH] move LikelyEq to test package
---
.../leon => test/scala/leon/test}/purescala/LikelyEq.scala | 2 +-
src/test/scala/leon/test/purescala/LikelyEqSuite.scala | 1 -
.../scala/leon/test/purescala/TreeNormalizationsTests.scala | 1 -
src/test/scala/leon/test/purescala/TreeOpsTests.scala | 1 -
src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala | 2 +-
5 files changed, 2 insertions(+), 5 deletions(-)
rename src/{main/scala/leon => test/scala/leon/test}/purescala/LikelyEq.scala (99%)
diff --git a/src/main/scala/leon/purescala/LikelyEq.scala b/src/test/scala/leon/test/purescala/LikelyEq.scala
similarity index 99%
rename from src/main/scala/leon/purescala/LikelyEq.scala
rename to src/test/scala/leon/test/purescala/LikelyEq.scala
index 71177603b..5de9e10ea 100644
--- a/src/main/scala/leon/purescala/LikelyEq.scala
+++ b/src/test/scala/leon/test/purescala/LikelyEq.scala
@@ -1,4 +1,4 @@
-package leon.purescala
+package leon.test.purescala
import leon.Evaluator._
import leon.purescala.Trees._
diff --git a/src/test/scala/leon/test/purescala/LikelyEqSuite.scala b/src/test/scala/leon/test/purescala/LikelyEqSuite.scala
index 98cf7ba42..dcc0788b0 100644
--- a/src/test/scala/leon/test/purescala/LikelyEqSuite.scala
+++ b/src/test/scala/leon/test/purescala/LikelyEqSuite.scala
@@ -6,7 +6,6 @@ import leon.Evaluator
import leon.purescala.Trees._
import leon.purescala.Common._
-import leon.purescala.LikelyEq
class LikelyEqSuite extends FunSuite {
diff --git a/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala b/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala
index 679f2a588..db3ff42cd 100644
--- a/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala
+++ b/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala
@@ -6,7 +6,6 @@ import leon.purescala.TypeTrees._
import leon.purescala.Trees._
import leon.purescala.TreeOps._
import leon.purescala.TreeNormalizations._
-import leon.purescala.LikelyEq
import leon.SilentReporter
import org.scalatest.FunSuite
diff --git a/src/test/scala/leon/test/purescala/TreeOpsTests.scala b/src/test/scala/leon/test/purescala/TreeOpsTests.scala
index dc9d3737d..a7ca3dac3 100644
--- a/src/test/scala/leon/test/purescala/TreeOpsTests.scala
+++ b/src/test/scala/leon/test/purescala/TreeOpsTests.scala
@@ -8,7 +8,6 @@ import leon.purescala.Definitions._
import leon.purescala.Trees._
import leon.purescala.TypeTrees._
import leon.purescala.TreeOps._
-import leon.purescala.LikelyEq
import org.scalatest.FunSuite
diff --git a/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala b/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala
index 961ae949f..1f49ae517 100644
--- a/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala
+++ b/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala
@@ -7,7 +7,7 @@ import leon.purescala.Trees._
import leon.purescala.TypeTrees._
import leon.purescala.TreeOps._
import leon.purescala.Common._
-import leon.purescala.LikelyEq
+import leon.test.purescala.LikelyEq
import leon.synthesis.LinearEquations._
--
GitLab