Fixed the abstract evaluator suite.

ff1f3c96 · Mikaël Mayer · 4be61ff7 · ff1f3c96
Commit ff1f3c96 authored 9 years ago by Mikaël Mayer
--- 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)