From afe9ddcb25a2c2696fe21637967a53a5f4e9987a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <mikael.mayer@epfl.ch>
Date: Tue, 26 Apr 2016 14:56:39 +0200
Subject: [PATCH] Fixed the abstract evaluator suite.
---
.../leon/integration/evaluators/AbstractEvaluatorSuite.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala b/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala
index dcecd34aa..583bb3230 100644
--- a/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala
+++ b/src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala
@@ -73,6 +73,7 @@ object AbstractTests {
val NodeType = classType("AbstractTests.Node", Seq()).asInstanceOf[CaseClassType]
val ae = new AbstractEvaluator(fix._1, fix._2)
+ ae.evaluateCaseClassSelector = false
val input = Node(Leaf, IntLiteral(5), Leaf)
--
GitLab