From 9202c01342263aee60cab51490ca509f8579c83a Mon Sep 17 00:00:00 2001 From: mihaylov Date: Mon, 3 Oct 2005 22:30:01 +0000 Subject: Converted to Unix-style line endings --- test/files/run/Course-2002-01-msil.check | 68 +++--- test/files/run/Course-2002-04-msil.check | 128 ++++++------ test/files/run/Course-2002-08-msil.check | 342 +++++++++++++++---------------- 3 files changed, 269 insertions(+), 269 deletions(-) (limited to 'test/files') 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 -- cgit v1.2.3