From 869ea546fa09f0306a3780dfb79c3c67cf878d76 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 27 Apr 2012 22:26:45 +0000
Subject: [PATCH] some more tests

---
 testcases/regression/Assign1.scala             | 18 ------------------
 testcases/regression/valid/Assign1.scala       | 12 ++++++++++++
 testcases/regression/{ => valid}/IfExpr1.scala |  0
 .../{MyTuple5.scala => valid/MyTuple3.scala}   |  4 +---
 .../{MyTuple6.scala => valid/MyTuple4.scala}   |  0
 .../{MyTuple7.scala => valid/MyTuple5.scala}   |  0
 .../{Nested2.scala => valid/Nested1.scala}     |  2 +-
 testcases/regression/{ => valid}/While1.scala  |  4 ++--
 testcases/regression/valid/While2.scala        | 13 +++++++++++++
 .../{While2.scala => valid/While3.scala}       |  4 +---
 10 files changed, 30 insertions(+), 27 deletions(-)
 delete mode 100644 testcases/regression/Assign1.scala
 create mode 100644 testcases/regression/valid/Assign1.scala
 rename testcases/regression/{ => valid}/IfExpr1.scala (100%)
 rename testcases/regression/{MyTuple5.scala => valid/MyTuple3.scala} (65%)
 rename testcases/regression/{MyTuple6.scala => valid/MyTuple4.scala} (100%)
 rename testcases/regression/{MyTuple7.scala => valid/MyTuple5.scala} (100%)
 rename testcases/regression/{Nested2.scala => valid/Nested1.scala} (92%)
 rename testcases/regression/{ => valid}/While1.scala (75%)
 create mode 100644 testcases/regression/valid/While2.scala
 rename testcases/regression/{While2.scala => valid/While3.scala} (77%)

diff --git a/testcases/regression/Assign1.scala b/testcases/regression/Assign1.scala
deleted file mode 100644
index ef346a02c..000000000
--- a/testcases/regression/Assign1.scala
+++ /dev/null
@@ -1,18 +0,0 @@
-object Assign1 {
-
-  def foo(): Int = {
-    var a = 0
-    val tmp = a + 1
-    a = a + 2
-    a = a + 3
-    a = a + 4
-    //var j = 0
-    //var sortedArray = Map.empty[Int, Int]
-    //val tmp = sortedArray(j)
-    //sortedArray = sortedArray.updated(j, sortedArray(j+1))
-    //sortedArray = sortedArray.updated(j+1, tmp)
-    //sortedArray(j)
-    a
-  }
-
-}
diff --git a/testcases/regression/valid/Assign1.scala b/testcases/regression/valid/Assign1.scala
new file mode 100644
index 000000000..0506c6afb
--- /dev/null
+++ b/testcases/regression/valid/Assign1.scala
@@ -0,0 +1,12 @@
+object Assign1 {
+
+  def foo(): Int = {
+    var a = 0
+    val tmp = a + 1
+    a = a + 2
+    a = a + tmp
+    a = a + 4
+    a
+  } ensuring(_ == 7)
+
+}
diff --git a/testcases/regression/IfExpr1.scala b/testcases/regression/valid/IfExpr1.scala
similarity index 100%
rename from testcases/regression/IfExpr1.scala
rename to testcases/regression/valid/IfExpr1.scala
diff --git a/testcases/regression/MyTuple5.scala b/testcases/regression/valid/MyTuple3.scala
similarity index 65%
rename from testcases/regression/MyTuple5.scala
rename to testcases/regression/valid/MyTuple3.scala
index a36f3c73b..2e14c067b 100644
--- a/testcases/regression/MyTuple5.scala
+++ b/testcases/regression/valid/MyTuple3.scala
@@ -1,4 +1,4 @@
-object MyTuple4 {
+object MyTuple3 {
 
   def foo(): Int = {
     val t = ((2, 3), true)
@@ -6,5 +6,3 @@ object MyTuple4 {
   } ensuring( _ == 3)
 
 }
-
-// vim: set ts=4 sw=4 et:
diff --git a/testcases/regression/MyTuple6.scala b/testcases/regression/valid/MyTuple4.scala
similarity index 100%
rename from testcases/regression/MyTuple6.scala
rename to testcases/regression/valid/MyTuple4.scala
diff --git a/testcases/regression/MyTuple7.scala b/testcases/regression/valid/MyTuple5.scala
similarity index 100%
rename from testcases/regression/MyTuple7.scala
rename to testcases/regression/valid/MyTuple5.scala
diff --git a/testcases/regression/Nested2.scala b/testcases/regression/valid/Nested1.scala
similarity index 92%
rename from testcases/regression/Nested2.scala
rename to testcases/regression/valid/Nested1.scala
index 30830df0b..7745f794f 100644
--- a/testcases/regression/Nested2.scala
+++ b/testcases/regression/valid/Nested1.scala
@@ -1,4 +1,4 @@
-object Nested2 {
+object Nested1 {
 
   def foo(i: Int): Int = {
     val n = 2
diff --git a/testcases/regression/While1.scala b/testcases/regression/valid/While1.scala
similarity index 75%
rename from testcases/regression/While1.scala
rename to testcases/regression/valid/While1.scala
index d7ab085de..0d868b399 100644
--- a/testcases/regression/While1.scala
+++ b/testcases/regression/valid/While1.scala
@@ -4,10 +4,10 @@ object While1 {
     var a = 0
     var i = 0
     while(i < 10) {
-      a = a + i
+      a = a + 1
       i = i + 1
     }
     a
-  }
+  } ensuring(_ == 10)
 
 }
diff --git a/testcases/regression/valid/While2.scala b/testcases/regression/valid/While2.scala
new file mode 100644
index 000000000..e841ed40e
--- /dev/null
+++ b/testcases/regression/valid/While2.scala
@@ -0,0 +1,13 @@
+object While1 {
+
+  def foo(): Int = {
+    var a = 0
+    var i = 0
+    while(i < 10) {
+      a = a + i
+      i = i + 1
+    }
+    a
+  } ensuring(_ == 45)
+
+}
diff --git a/testcases/regression/While2.scala b/testcases/regression/valid/While3.scala
similarity index 77%
rename from testcases/regression/While2.scala
rename to testcases/regression/valid/While3.scala
index de724d9ba..da85d5dfa 100644
--- a/testcases/regression/While2.scala
+++ b/testcases/regression/valid/While3.scala
@@ -1,4 +1,4 @@
-object While1 {
+object While3 {
 
   def foo(): Int = {
     var a = 0
@@ -11,5 +11,3 @@ object While1 {
   } ensuring(_ == 54)
 
 }
-
-// vim: set ts=4 sw=4 et:
-- 
GitLab