Converted to Unix-style line endings

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