Fixed the abstract evaluator suite.

afe9ddcb · Mikaël Mayer · Ravi · df9e5f57 · afe9ddcb
Commit afe9ddcb authored 9 years ago by Mikaël Mayer Committed by Ravi 9 years ago
--- 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)