From 0b38dce4d1b8d49598046c4969348259fee60bf4 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Wed, 3 Dec 2014 13:58:48 +0100
Subject: [PATCH] Remove traces of old "passes"
---
src/main/scala/leon/synthesis/rules/Tegis.scala | 12 ------------
src/main/scala/leon/utils/Library.scala | 4 ----
2 files changed, 16 deletions(-)
diff --git a/src/main/scala/leon/synthesis/rules/Tegis.scala b/src/main/scala/leon/synthesis/rules/Tegis.scala
index c436b6ed0..3ce5a9089 100644
--- a/src/main/scala/leon/synthesis/rules/Tegis.scala
+++ b/src/main/scala/leon/synthesis/rules/Tegis.scala
@@ -33,18 +33,6 @@ case object TEGIS extends Rule("TEGIS") {
def instantiateOn(sctx: SynthesisContext, p: Problem): Traversable[RuleInstantiation] = {
- // check if the formula contains passes:
- if (!sctx.program.library.passes.isDefined) {
- return Nil;
- }
-
- val passes = sctx.program.library.passes.get
-
- val mayHaveTests = exists({
- case FunctionInvocation(TypedFunDef(`passes`, _), _) => true
- case _ => false
- })(p.phi)
-
List(new RuleInstantiation(p, this, SolutionBuilder.none, this.name, this.priority) {
def apply(sctx: SynthesisContext): RuleApplication = {
diff --git a/src/main/scala/leon/utils/Library.scala b/src/main/scala/leon/utils/Library.scala
index 5b5621b14..2a254a861 100644
--- a/src/main/scala/leon/utils/Library.scala
+++ b/src/main/scala/leon/utils/Library.scala
@@ -17,10 +17,6 @@ case class Library(pgm: Program) {
case fd: FunDef => fd
}
- lazy val passes = lookup("leon.lang.passes").collect {
- case fd: FunDef => fd
- }
-
lazy val guide = lookup("leon.lang.synthesis.guide") collect {
case (fd: FunDef) => fd
}
--
GitLab