From a805cfbbf216902f306a216be21197a439f7aab2 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 15 Apr 2015 15:04:25 +0200
Subject: [PATCH] Fix build, correct deprecation warning
---
build.sbt | 1 +
src/main/scala/leon/datagen/NaiveDataGen.scala | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/build.sbt b/build.sbt
index d0470fa87..de3d691fc 100644
--- a/build.sbt
+++ b/build.sbt
@@ -40,6 +40,7 @@ javaOptions in Test ++= Seq("-Xss32M", "-Xmx4G", "-XX:MaxPermSize=128M")
parallelExecution in Test := false
testOptions in (Test, test) := Seq(Tests.Filter(s => s.endsWith("LeonAllTests")), Tests.Argument("-oDF"))
+
testOptions in (Test, testOnly) := Seq(Tests.Argument("-oDF"))
sourcesInBase in Compile := false
diff --git a/src/main/scala/leon/datagen/NaiveDataGen.scala b/src/main/scala/leon/datagen/NaiveDataGen.scala
index 81f50f65b..518ae95d4 100644
--- a/src/main/scala/leon/datagen/NaiveDataGen.scala
+++ b/src/main/scala/leon/datagen/NaiveDataGen.scala
@@ -16,7 +16,7 @@ import scala.collection.mutable.{Map=>MutableMap}
/** Utility functions to generate values of a given type.
* In fact, it could be used to generate *terms* of a given type,
* e.g. by passing trees representing variables for the "bounds". */
-@deprecated("3.4", "NaiveDataGen is deprecated, use GrammarDataGen with ValueGrammar")
+@deprecated("Stream-based datagen is deprecated, use GrammarDataGen with ValueGrammar instead", "3.0")
class NaiveDataGen(ctx: LeonContext, p: Program, evaluator: Evaluator, _bounds : Option[Map[TypeTree,Seq[Expr]]] = None) extends DataGenerator {
val bounds = _bounds.getOrElse(Map())
--
GitLab