From 110c61604dbe890df38048e12a47dcd16c4c03da Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 22 Jun 2015 16:07:34 +0200
Subject: [PATCH] Change bench. so it does not simplify away VC
---
.../regression/verification/newsolvers/invalid/Array4.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/test/resources/regression/verification/newsolvers/invalid/Array4.scala b/src/test/resources/regression/verification/newsolvers/invalid/Array4.scala
index 4e630cd42..d7875d9b3 100644
--- a/src/test/resources/regression/verification/newsolvers/invalid/Array4.scala
+++ b/src/test/resources/regression/verification/newsolvers/invalid/Array4.scala
@@ -6,7 +6,7 @@ object Array4 {
def foo(a: Array[Int]): Int = {
val tmp = a.updated(0, 0)
- 42
+ tmp(0)
}
}
--
GitLab