diff options
Diffstat (limited to 'test/files/run')
-rwxr-xr-x | test/files/run/Course-2002-01-msil.check | 68 | ||||
-rwxr-xr-x | test/files/run/Course-2002-04-msil.check | 128 | ||||
-rwxr-xr-x | test/files/run/Course-2002-08-msil.check | 342 |
3 files changed, 269 insertions, 269 deletions
diff --git a/test/files/run/Course-2002-01-msil.check b/test/files/run/Course-2002-01-msil.check index 18ef706bbd..ca9d7ac54b 100755 --- a/test/files/run/Course-2002-01-msil.check +++ b/test/files/run/Course-2002-01-msil.check @@ -1,34 +1,34 @@ -232
-667
-11
-10
-62.8318
-62.8318
-62.8318
-4
-81
-256
-25
-1
-737
-1
-0
-1
-76
-1.41421568627451
-1.73214285714286
-2.00000009292229
-1.41421568627451
-1.73214285714286
-2.00000009292229
-1.41421568627451
-1.73214285714286
-2.00000009292229
-sqrt(2) = 1.41421356237469
-sqrt(2) = 1.41421356237469
-cbrt(2) = 1.25992105001777
-1
-1 1
-1 2 1
-1 3 3 1
-1 4 6 4 1
+232 +667 +11 +10 +62.8318 +62.8318 +62.8318 +4 +81 +256 +25 +1 +737 +1 +0 +1 +76 +1.41421568627451 +1.73214285714286 +2.00000009292229 +1.41421568627451 +1.73214285714286 +2.00000009292229 +1.41421568627451 +1.73214285714286 +2.00000009292229 +sqrt(2) = 1.41421356237469 +sqrt(2) = 1.41421356237469 +cbrt(2) = 1.25992105001777 +1 +1 1 +1 2 1 +1 3 3 1 +1 4 6 4 1 diff --git a/test/files/run/Course-2002-04-msil.check b/test/files/run/Course-2002-04-msil.check index 81b52d83c9..c5709d2116 100755 --- a/test/files/run/Course-2002-04-msil.check +++ b/test/files/run/Course-2002-04-msil.check @@ -1,64 +1,64 @@ -list0 = List(6,3,1,8,7,1,2,5,8,4,3,4,8)
-list1 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
-list2 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
-list3 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
-list4 = List(1,1,2,3,3,4,4,5,6,7,8,8,8)
-list5 = List(8,8,8,7,6,5,4,4,3,3,2,1,1)
-list6 = List(8,8,8,7,6,5,4,4,3,3,2,1,1)
-
-list0: List() -> List()
-list1: List(0) -> List(0)
-list2: List(0,1) -> List(0,1)
-list3: List(1,0) -> List(0,1)
-list4: List(0,1,2) -> List(0,1,2)
-list5: List(1,0,2) -> List(0,1,2)
-list6: List(0,1,2) -> List(0,1,2)
-list7: List(1,0,2) -> List(0,1,2)
-list8: List(2,0,1) -> List(0,1,2)
-list9: List(2,1,0) -> List(0,1,2)
-listA: List(6,3,1,8,7,1,2,5,8,4) -> List(1,1,2,3,4,5,6,7,8,8)
-
-f(x) = 5x^3+7x^2+5x+9
-f(0) = 9
-f(1) = 26
-f(2) = 87
-f(3) = 222
-
-v1 = List(2,3,4)
-v2 = List(6,7,8)
-
-id = List(List(1,0,0),List(0,1,0),List(0,0,1))
-m1 = List(List(2,0,0),List(0,2,0),List(0,0,2))
-m2 = List(List(1,2,3),List(4,5,6),List(7,8,9))
-
-v1 * v1 = 29
-v1 * v2 = 65
-v2 * v1 = 65
-v1 * v2 = 65
-
-id * v1 = List(2,3,4)
-m1 * v1 = List(4,6,8)
-m2 * v1 = List(20,47,74)
-
-trn(id) = List(List(1,0,0),List(0,1,0),List(0,0,1))
-trn(m1) = List(List(2,0,0),List(0,2,0),List(0,0,2))
-trn(m2) = List(List(1,4,7),List(2,5,8),List(3,6,9))
-
-List(v1) * id = List(List(2,3,4))
-List(v1) * m1 = List(List(4,6,8))
-List(v1) * m2 = List(List(42,51,60))
-
-id * List(v1) = List(List(2,3,4),List(0,0,0),List(0,0,0))
-m1 * List(v1) = List(List(4,6,8),List(0,0,0),List(0,0,0))
-m2 * List(v1) = List(List(2,3,4),List(8,12,16),List(14,21,28))
-
-id * id = List(List(1,0,0),List(0,1,0),List(0,0,1))
-id * m1 = List(List(2,0,0),List(0,2,0),List(0,0,2))
-m1 * id = List(List(2,0,0),List(0,2,0),List(0,0,2))
-m1 * m1 = List(List(4,0,0),List(0,4,0),List(0,0,4))
-id * m2 = List(List(1,2,3),List(4,5,6),List(7,8,9))
-m2 * id = List(List(1,2,3),List(4,5,6),List(7,8,9))
-m1 * m2 = List(List(2,4,6),List(8,10,12),List(14,16,18))
-m2 * m1 = List(List(2,4,6),List(8,10,12),List(14,16,18))
-m2 * m2 = List(List(30,36,42),List(66,81,96),List(102,126,150))
-
+list0 = List(6,3,1,8,7,1,2,5,8,4,3,4,8) +list1 = List(1,1,2,3,3,4,4,5,6,7,8,8,8) +list2 = List(1,1,2,3,3,4,4,5,6,7,8,8,8) +list3 = List(1,1,2,3,3,4,4,5,6,7,8,8,8) +list4 = List(1,1,2,3,3,4,4,5,6,7,8,8,8) +list5 = List(8,8,8,7,6,5,4,4,3,3,2,1,1) +list6 = List(8,8,8,7,6,5,4,4,3,3,2,1,1) + +list0: List() -> List() +list1: List(0) -> List(0) +list2: List(0,1) -> List(0,1) +list3: List(1,0) -> List(0,1) +list4: List(0,1,2) -> List(0,1,2) +list5: List(1,0,2) -> List(0,1,2) +list6: List(0,1,2) -> List(0,1,2) +list7: List(1,0,2) -> List(0,1,2) +list8: List(2,0,1) -> List(0,1,2) +list9: List(2,1,0) -> List(0,1,2) +listA: List(6,3,1,8,7,1,2,5,8,4) -> List(1,1,2,3,4,5,6,7,8,8) + +f(x) = 5x^3+7x^2+5x+9 +f(0) = 9 +f(1) = 26 +f(2) = 87 +f(3) = 222 + +v1 = List(2,3,4) +v2 = List(6,7,8) + +id = List(List(1,0,0),List(0,1,0),List(0,0,1)) +m1 = List(List(2,0,0),List(0,2,0),List(0,0,2)) +m2 = List(List(1,2,3),List(4,5,6),List(7,8,9)) + +v1 * v1 = 29 +v1 * v2 = 65 +v2 * v1 = 65 +v1 * v2 = 65 + +id * v1 = List(2,3,4) +m1 * v1 = List(4,6,8) +m2 * v1 = List(20,47,74) + +trn(id) = List(List(1,0,0),List(0,1,0),List(0,0,1)) +trn(m1) = List(List(2,0,0),List(0,2,0),List(0,0,2)) +trn(m2) = List(List(1,4,7),List(2,5,8),List(3,6,9)) + +List(v1) * id = List(List(2,3,4)) +List(v1) * m1 = List(List(4,6,8)) +List(v1) * m2 = List(List(42,51,60)) + +id * List(v1) = List(List(2,3,4),List(0,0,0),List(0,0,0)) +m1 * List(v1) = List(List(4,6,8),List(0,0,0),List(0,0,0)) +m2 * List(v1) = List(List(2,3,4),List(8,12,16),List(14,21,28)) + +id * id = List(List(1,0,0),List(0,1,0),List(0,0,1)) +id * m1 = List(List(2,0,0),List(0,2,0),List(0,0,2)) +m1 * id = List(List(2,0,0),List(0,2,0),List(0,0,2)) +m1 * m1 = List(List(4,0,0),List(0,4,0),List(0,0,4)) +id * m2 = List(List(1,2,3),List(4,5,6),List(7,8,9)) +m2 * id = List(List(1,2,3),List(4,5,6),List(7,8,9)) +m1 * m2 = List(List(2,4,6),List(8,10,12),List(14,16,18)) +m2 * m1 = List(List(2,4,6),List(8,10,12),List(14,16,18)) +m2 * m2 = List(List(30,36,42),List(66,81,96),List(102,126,150)) + diff --git a/test/files/run/Course-2002-08-msil.check b/test/files/run/Course-2002-08-msil.check index a57fcdd242..c5b26c719b 100755 --- a/test/files/run/Course-2002-08-msil.check +++ b/test/files/run/Course-2002-08-msil.check @@ -1,171 +1,171 @@ -x = abc
-count = 111
-x = hello
-count = 112
-
-account deposit 50 -> ()
-account withdraw 20 -> 30
-account withdraw 20 -> 10
-account withdraw 15 ->
-
-x deposit 30 -> ()
-y withdraw 20 ->
-
-x deposit 30 -> ()
-x withdraw 20 -> 10
-
-x deposit 30 -> ()
-y withdraw 20 -> 10
-
-2^0 = 1
-2^1 = 2
-2^2 = 4
-2^3 = 8
-
-2^0 = 1
-2^1 = 2
-2^2 = 4
-2^3 = 8
-
-1 2 3
-List(1,2,3)
-
-out 0 new-value = False
-*** simulation started ***
-out 1 new-value = True
-!0 = 1
-
-*** simulation started ***
-out 2 new-value = False
-!1 = 0
-
-out 2 new-value = False
-
-*** simulation started ***
-0 & 0 = 0
-
-*** simulation started ***
-0 & 1 = 0
-
-*** simulation started ***
-out 11 new-value = True
-out 11 new-value = False
-1 & 0 = 0
-
-*** simulation started ***
-out 14 new-value = True
-1 & 1 = 1
-
-out 14 new-value = False
-
-*** simulation started ***
-0 | 0 = 0
-
-*** simulation started ***
-out 24 new-value = True
-0 | 1 = 1
-
-*** simulation started ***
-1 | 0 = 1
-
-*** simulation started ***
-1 | 1 = 1
-
-sum 34 new-value = False
-carry 34 new-value = False
-
-*** simulation started ***
-0 + 0 = 0
-
-*** simulation started ***
-sum 47 new-value = True
-0 + 1 = 1
-
-*** simulation started ***
-carry 50 new-value = True
-carry 50 new-value = False
-sum 54 new-value = False
-sum 54 new-value = True
-1 + 0 = 1
-
-*** simulation started ***
-carry 57 new-value = True
-sum 61 new-value = False
-1 + 1 = 2
-
-sum 61 new-value = False
-carry 61 new-value = False
-
-*** simulation started ***
-0 + 0 + 0 = 0
-
-*** simulation started ***
-sum 82 new-value = True
-0 + 0 + 1 = 1
-
-*** simulation started ***
-sum 89 new-value = False
-carry 90 new-value = True
-sum 97 new-value = True
-carry 98 new-value = False
-0 + 1 + 0 = 1
-
-*** simulation started ***
-sum 113 new-value = False
-carry 114 new-value = True
-0 + 1 + 1 = 2
-
-*** simulation started ***
-sum 121 new-value = True
-carry 122 new-value = False
-sum 129 new-value = False
-sum 129 new-value = True
-1 + 0 + 0 = 1
-
-*** simulation started ***
-carry 137 new-value = True
-sum 144 new-value = False
-1 + 0 + 1 = 2
-
-*** simulation started ***
-carry 152 new-value = False
-sum 152 new-value = True
-sum 158 new-value = False
-carry 159 new-value = True
-1 + 1 + 0 = 2
-
-*** simulation started ***
-sum 173 new-value = True
-1 + 1 + 1 = 3
-
-in 0 new-value = False
-ctrl0 0 new-value = False
-ctrl1 0 new-value = False
-ctrl2 0 new-value = False
-out0 0 new-value = False
-out1 0 new-value = False
-out2 0 new-value = False
-out3 0 new-value = False
-out4 0 new-value = False
-out5 0 new-value = False
-out6 0 new-value = False
-out7 0 new-value = False
-in 0 new-value = True
-*** simulation started ***
-out0 10 new-value = True
-ctrl0 10 new-value = True
-*** simulation started ***
-out1 13 new-value = True
-out0 14 new-value = False
-ctrl1 14 new-value = True
-*** simulation started ***
-out3 20 new-value = True
-out1 21 new-value = False
-ctrl2 21 new-value = True
-*** simulation started ***
-out7 30 new-value = True
-out3 31 new-value = False
-ctrl0 31 new-value = False
-*** simulation started ***
-out7 34 new-value = False
-out6 35 new-value = True
+x = abc +count = 111 +x = hello +count = 112 + +account deposit 50 -> () +account withdraw 20 -> 30 +account withdraw 20 -> 10 +account withdraw 15 -> + +x deposit 30 -> () +y withdraw 20 -> + +x deposit 30 -> () +x withdraw 20 -> 10 + +x deposit 30 -> () +y withdraw 20 -> 10 + +2^0 = 1 +2^1 = 2 +2^2 = 4 +2^3 = 8 + +2^0 = 1 +2^1 = 2 +2^2 = 4 +2^3 = 8 + +1 2 3 +List(1,2,3) + +out 0 new-value = False +*** simulation started *** +out 1 new-value = True +!0 = 1 + +*** simulation started *** +out 2 new-value = False +!1 = 0 + +out 2 new-value = False + +*** simulation started *** +0 & 0 = 0 + +*** simulation started *** +0 & 1 = 0 + +*** simulation started *** +out 11 new-value = True +out 11 new-value = False +1 & 0 = 0 + +*** simulation started *** +out 14 new-value = True +1 & 1 = 1 + +out 14 new-value = False + +*** simulation started *** +0 | 0 = 0 + +*** simulation started *** +out 24 new-value = True +0 | 1 = 1 + +*** simulation started *** +1 | 0 = 1 + +*** simulation started *** +1 | 1 = 1 + +sum 34 new-value = False +carry 34 new-value = False + +*** simulation started *** +0 + 0 = 0 + +*** simulation started *** +sum 47 new-value = True +0 + 1 = 1 + +*** simulation started *** +carry 50 new-value = True +carry 50 new-value = False +sum 54 new-value = False +sum 54 new-value = True +1 + 0 = 1 + +*** simulation started *** +carry 57 new-value = True +sum 61 new-value = False +1 + 1 = 2 + +sum 61 new-value = False +carry 61 new-value = False + +*** simulation started *** +0 + 0 + 0 = 0 + +*** simulation started *** +sum 82 new-value = True +0 + 0 + 1 = 1 + +*** simulation started *** +sum 89 new-value = False +carry 90 new-value = True +sum 97 new-value = True +carry 98 new-value = False +0 + 1 + 0 = 1 + +*** simulation started *** +sum 113 new-value = False +carry 114 new-value = True +0 + 1 + 1 = 2 + +*** simulation started *** +sum 121 new-value = True +carry 122 new-value = False +sum 129 new-value = False +sum 129 new-value = True +1 + 0 + 0 = 1 + +*** simulation started *** +carry 137 new-value = True +sum 144 new-value = False +1 + 0 + 1 = 2 + +*** simulation started *** +carry 152 new-value = False +sum 152 new-value = True +sum 158 new-value = False +carry 159 new-value = True +1 + 1 + 0 = 2 + +*** simulation started *** +sum 173 new-value = True +1 + 1 + 1 = 3 + +in 0 new-value = False +ctrl0 0 new-value = False +ctrl1 0 new-value = False +ctrl2 0 new-value = False +out0 0 new-value = False +out1 0 new-value = False +out2 0 new-value = False +out3 0 new-value = False +out4 0 new-value = False +out5 0 new-value = False +out6 0 new-value = False +out7 0 new-value = False +in 0 new-value = True +*** simulation started *** +out0 10 new-value = True +ctrl0 10 new-value = True +*** simulation started *** +out1 13 new-value = True +out0 14 new-value = False +ctrl1 14 new-value = True +*** simulation started *** +out3 20 new-value = True +out1 21 new-value = False +ctrl2 21 new-value = True +*** simulation started *** +out7 30 new-value = True +out3 31 new-value = False +ctrl0 31 new-value = False +*** simulation started *** +out7 34 new-value = False +out6 35 new-value = True |