Add tests for folding/unfolding operations

This commit is contained in:
Alexey Sedunov
2013-04-12 17:09:59 +04:00
parent 02e9f174f0
commit f473224e84
61 changed files with 450 additions and 26 deletions
@@ -0,0 +1,21 @@
fun test(n: Int): String {
var res: String
if (3 > 2) {
<caret>when(n) {
1 -> {
println("***")
res = "one"
}
else -> {
println("***")
res = "two"
}
}
} else {
println("***")
res = "???"
}
return res
}
@@ -0,0 +1,21 @@
fun test(n: Int): String {
var res: String
if (3 > 2) {
<caret>res = when(n) {
1 -> {
println("***")
"one"
}
else -> {
println("***")
"two"
}
}
} else {
println("***")
res = "???"
}
return res
}
@@ -0,0 +1,7 @@
fun test(n: Int): String {
var res: String
<caret>if (n == 1) res = "one" else res = "two"
return res
}
@@ -0,0 +1,7 @@
fun test(n: Int): String {
var res: String
<caret>res = if (n == 1) "one" else "two"
return res
}
@@ -0,0 +1,7 @@
fun test(n: Int): String {
var res: String = "!"
<caret>if (n == 1) res += "one" else res += "two"
return res
}
@@ -0,0 +1,7 @@
fun test(n: Int): String {
var res: String = "!"
<caret>res += if (n == 1) "one" else "two"
return res
}
@@ -0,0 +1,16 @@
// IS_APPLICABLE: false
fun test(n: Int): String {
var res: String = ""
<caret>if (n == 1) {
println("***")
res = "one"
} else {
var res: String
println("***")
res = "two"
}
return res
}
@@ -0,0 +1,12 @@
// IS_APPLICABLE: false
fun test(s: String): Int {
var n: Int = 1;
<caret>if (s.equals("add")) {
n += 1
} else {
n -= 1
}
return n
}
@@ -0,0 +1,13 @@
// IS_APPLICABLE: false
fun test(n: Int): String {
var res: String = ""
var res2: String = ""
<caret>if (n == 1) {
res = "one"
} else {
res2 = "two"
}
return res + res2
}
@@ -0,0 +1,10 @@
fun test(n: Int): String {
var res: String
<caret>when(n) {
1 -> res = "one"
else -> res = "two"
}
return res
}
@@ -0,0 +1,10 @@
fun test(n: Int): String {
var res: String
<caret>res = when(n) {
1 -> "one"
else -> "two"
}
return res
}
@@ -0,0 +1,16 @@
fun test(n: Int): String {
var res: String
<caret>when (n) {
1 -> {
println("***")
res = "one"
}
else -> {
println("***")
res = "two"
}
}
return res
}
@@ -0,0 +1,16 @@
fun test(n: Int): String {
var res: String
<caret>res = when (n) {
1 -> {
println("***")
"one"
}
else -> {
println("***")
"two"
}
}
return res
}
@@ -0,0 +1,19 @@
// IS_APPLICABLE: false
fun test(n: Int): String {
var res: String = ""
<caret>when (n) {
1 -> {
println("***")
res = "one"
}
else -> {
var res: String
res = "two"
println("***")
}
}
return res
}
@@ -0,0 +1,18 @@
// IS_APPLICABLE: false
fun test(n: Int): String {
var res: String = ""
var res2: String = ""
<caret>when (n) {
1 -> {
println("***")
res = "one"
}
else -> {
println("***")
res2 = "two"
}
}
return res + res2
}
@@ -0,0 +1,17 @@
// IS_APPLICABLE: false
fun test(n: Int): String {
var res: String
<caret>when (n) {
1 -> {
println("***")
res = "one"
}
else -> {
res = "two"
println("***")
}
}
return res
}
@@ -0,0 +1,4 @@
fun test(n: Int): String {
<caret>if (n == 1) return "one"
return "two"
}
@@ -0,0 +1,3 @@
fun test(n: Int): String {
<caret>return if (n == 1) "one" else "two"
}
@@ -0,0 +1,7 @@
fun test(n: Int): String {
<caret>if (n == 1) {
println("***")
return "one"
}
return "two"
}
@@ -0,0 +1,6 @@
fun test(n: Int): String {
<caret>return if (n == 1) {
println("***")
"one"
} else "two"
}
@@ -1,21 +1,17 @@
fun test(n: Int): String {
var res: String
<caret>if (n == 1) {
if (3 > 2) {
if (n == 1) {
<caret>if (3 > 2) {
println("***")
res = "one"
return "one"
} else {
println("***")
res = "???"
return "???"
}
} else if (n == 2) {
println("***")
res = "two"
return "two"
} else {
println("***")
res = "too many"
return "too many"
}
return res
}
@@ -1,21 +1,17 @@
fun test(n: Int): String {
var res: String
<caret>if (n == 1) {
if (3 > 2) {
if (n == 1) {
<caret>return if (3 > 2) {
println("***")
res = "one"
"one"
} else {
println("***")
res = "???"
"???"
}
} else if (n == 2) {
println("***")
res = "two"
return "two"
} else {
println("***")
res = "too many"
return "too many"
}
return res
}
@@ -0,0 +1,11 @@
fun test(n: Int): String {
if (3 > 2) {
<caret>when (n) {
1 -> return "one"
else -> return "two"
}
} else {
println("***")
return "???"
}
}
@@ -0,0 +1,11 @@
fun test(n: Int): String {
if (3 > 2) {
<caret>return when (n) {
1 -> "one"
else -> "two"
}
} else {
println("***")
return "???"
}
}
@@ -0,0 +1,6 @@
fun test(n: Int): String {
<caret>if (n == 1)
return "one"
else
return "two"
}
@@ -0,0 +1,6 @@
fun test(n: Int): String {
<caret>return if (n == 1)
"one"
else
"two"
}
@@ -0,0 +1,9 @@
fun test(n: Int): String {
<caret>if (n == 1) {
println("***")
return "one"
} else {
println("***")
return "two"
}
}
@@ -0,0 +1,9 @@
fun test(n: Int): String {
<caret>return if (n == 1) {
println("***")
"one"
} else {
println("***")
"two"
}
}
@@ -0,0 +1,6 @@
fun test(n: Int): String {
<caret>when (n) {
1 -> return "one"
else -> return "two"
}
}
@@ -0,0 +1,6 @@
fun test(n: Int): String {
<caret>return when (n) {
1 -> "one"
else -> "two"
}
}
@@ -0,0 +1,11 @@
fun test(n: Int): String {
<caret>when(n) {
1 -> {
println("***")
return "one"
}
else -> {
println("***")
return "two"
}
}
@@ -0,0 +1,11 @@
fun test(n: Int): String {
<caret>return when(n) {
1 -> {
println("***")
"one"
}
else -> {
println("***")
"two"
}
}
@@ -1,15 +1,15 @@
fun test(n: Int): String {
var res: String
<caret>res = if (n == 1) {
if (3 > 2) {
<caret>if (n == 1) {
res = if (3 > 2) {
println("***")
"one"
} else {
println("***")
"???"
}
} else if (n == 2) {
} else res = if (n == 2) {
println("***")
"two"
} else {
@@ -0,0 +1,7 @@
fun test(n: Int): String {
var res: String
<caret>res = if (n == 1) "one" else "two"
return res
}
@@ -0,0 +1,7 @@
fun test(n: Int): String {
var res: String
<caret>if (n == 1) res = "one" else res = "two"
return res
}
@@ -0,0 +1,7 @@
fun test(n: Int): String {
var res: String = "!"
<caret>res += if (n == 1) "one" else "two"
return res
}
@@ -0,0 +1,7 @@
fun test(n: Int): String {
var res: String = "!"
<caret>if (n == 1) res += "one" else res += "two"
return res
}
@@ -0,0 +1,3 @@
fun test(n: Int): String {
<caret>return if (n == 1) "one" else "two"
}
@@ -0,0 +1,3 @@
fun test(n: Int): String {
<caret>if (n == 1) return "one" else return "two"
}
@@ -0,0 +1,6 @@
fun test(n: Int): String {
<caret>return if (n == 1) {
println("***")
"one"
} else "two"
}
@@ -0,0 +1,6 @@
fun test(n: Int): String {
<caret>if (n == 1) {
println("***")
return "one"
} else return "two"
}
@@ -0,0 +1,17 @@
fun test(n: Int): String {
if (n == 1) {
<caret>return if (3 > 2) {
println("***")
"one"
} else {
println("***")
"???"
}
} else if (n == 2) {
println("***")
return "two"
} else {
println("***")
return "too many"
}
}
@@ -0,0 +1,17 @@
fun test(n: Int): String {
if (n == 1) {
<caret>if (3 > 2) {
println("***")
return "one"
} else {
println("***")
return "???"
}
} else if (n == 2) {
println("***")
return "two"
} else {
println("***")
return "too many"
}
}
@@ -0,0 +1,6 @@
fun test(n: Int): String {
<caret>return if (n == 1)
"one"
else
"two"
}
@@ -0,0 +1,6 @@
fun test(n: Int): String {
<caret>if (n == 1)
return "one"
else
return "two"
}
@@ -0,0 +1,9 @@
fun test(n: Int): String {
<caret>return if (n == 1) {
println("***")
"one"
} else {
println("***")
"two"
}
}
@@ -0,0 +1,9 @@
fun test(n: Int): String {
<caret>if (n == 1) {
println("***")
return "one"
} else {
println("***")
return "two"
}
}