From b476f36f30536438bdadea4a4e748432b3726d19 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 10 Dec 2012 14:24:39 +0100
Subject: [PATCH] Do not accept this
---
src/test/scala/leon/test/codegen/CodeGenEvaluation.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/scala/leon/test/codegen/CodeGenEvaluation.scala b/src/test/scala/leon/test/codegen/CodeGenEvaluation.scala
index f354de200..fdf17b779 100644
--- a/src/test/scala/leon/test/codegen/CodeGenEvaluation.scala
+++ b/src/test/scala/leon/test/codegen/CodeGenEvaluation.scala
@@ -106,7 +106,7 @@ class CodeGenEvaluation extends FunSuite {
//Type error
val expr3 = FunctionInvocation(fact, Seq(BooleanLiteral(false)))
- assert(javaEval(unit)(expr3) === IntLiteral(1))
+ assert(javaEval(unit)(expr3) != IntLiteral(1), "This should be a type error")
}
forFile("Prog002.scala") { out =>
--
GitLab