Skip to content
Snippets Groups Projects
Commit df9e5f57 authored by Nicolas Voirol's avatar Nicolas Voirol Committed by Ravi
Browse files

Temporarily disabled abstractevaluator test

parent d66b813a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala
+ 2
− 2
View file @ df9e5f57
...@@ -65,7 +65,7 @@ object AbstractTests { ...@@ -65,7 +65,7 @@ object AbstractTests {
} }
} }
test("Abstract evaluator should correctly handle boolean and recursive") { implicit fix => ignore("Abstract evaluator should correctly handle boolean and recursive") { implicit fix =>
val testFd = funDef("AbstractTests.test2") val testFd = funDef("AbstractTests.test2")
val Leaf = cc("AbstractTests.Leaf")() val Leaf = cc("AbstractTests.Leaf")()
def Node(left: Expr, n: Expr, right: Expr) = cc("AbstractTests.Node")(left, n, right) def Node(left: Expr, n: Expr, right: Expr) = cc("AbstractTests.Node")(left, n, right)
...@@ -94,4 +94,4 @@ object AbstractTests { ...@@ -94,4 +94,4 @@ object AbstractTests {
} }
} }
} }
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment