Skip to content

Commit ad5ae49

Browse files
committed
test mutation 6
1 parent 14a8ba5 commit ad5ae49

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

test-out/epfl/test8-mutation6.check

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ depends on Sym(3)
1414
class Test extends ((Int)=>(Unit)) {
1515
def apply(x0:Int): Unit = {
1616
val x2 = LoopArray(100) { x1 =>
17-
0.0
17+
0
1818
}
1919
val x3 = x2.clone // mutable
2020
val x5 = LoopArray(10) { x4 =>
@@ -25,7 +25,7 @@ val x11 = if (x10) {
2525
x5
2626
} else {
2727
val x8 = LoopArray(100) { x7 =>
28-
0.0
28+
0
2929
}
3030
val x9 = LoopArray(10) { x6 =>
3131
x8
@@ -34,10 +34,10 @@ x9
3434
}
3535
val x12 = x11.apply(5)
3636
val x13 = x12.apply(50)
37-
val x14 = x3.update(50, 50.0)
37+
val x14 = x3.update(50, 50)
3838
val x15 = x11.apply(5)
3939
val x16 = x15.apply(50)
40-
val x17 = x16-x13
40+
val x17 = x16 - x13
4141
val x18 = println(x17)
4242
x18
4343
}

0 commit comments

Comments
 (0)