From 89a1be56f837cbfb21b2b88c33013fbc33c7f059 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Mon, 30 Apr 2012 11:35:30 +0200
Subject: [PATCH] more regression tests
---
testcases/regression/invalid/IfExpr1.scala | 13 +++++++++++++
testcases/regression/invalid/IfExpr2.scala | 14 ++++++++++++++
testcases/regression/valid/IfExpr2.scala | 14 ++++++++++++++
3 files changed, 41 insertions(+)
create mode 100644 testcases/regression/invalid/IfExpr1.scala
create mode 100644 testcases/regression/invalid/IfExpr2.scala
create mode 100644 testcases/regression/valid/IfExpr2.scala
diff --git a/testcases/regression/invalid/IfExpr1.scala b/testcases/regression/invalid/IfExpr1.scala
new file mode 100644
index 000000000..25ae2a210
--- /dev/null
+++ b/testcases/regression/invalid/IfExpr1.scala
@@ -0,0 +1,13 @@
+object IfExpr1 {
+
+ def foo(): Int = {
+ var a = 1
+ var b = 2
+ if({a = a + 1; a != b})
+ a = a + 3
+ else
+ b = a + b
+ a
+ } ensuring(_ == 3)
+
+}
diff --git a/testcases/regression/invalid/IfExpr2.scala b/testcases/regression/invalid/IfExpr2.scala
new file mode 100644
index 000000000..1284904b5
--- /dev/null
+++ b/testcases/regression/invalid/IfExpr2.scala
@@ -0,0 +1,14 @@
+object IfExpr2 {
+
+ def foo(): Int = {
+ var a = 1
+ var b = 2
+ if(a < b) {
+ a = a + 3
+ b = b + 2
+ a = a + b
+ }
+ a
+ } ensuring(_ == 0)
+
+}
diff --git a/testcases/regression/valid/IfExpr2.scala b/testcases/regression/valid/IfExpr2.scala
new file mode 100644
index 000000000..7a681bc72
--- /dev/null
+++ b/testcases/regression/valid/IfExpr2.scala
@@ -0,0 +1,14 @@
+object IfExpr2 {
+
+ def foo(): Int = {
+ var a = 1
+ var b = 2
+ if(a < b) {
+ a = a + 3
+ b = b + 2
+ a = a + b
+ }
+ a
+ } ensuring(_ == 8)
+
+}
--
GitLab