diff options
Diffstat (limited to 'test-nsc')
32 files changed, 1409 insertions, 0 deletions
diff --git a/test-nsc/files/run/Course-2002-01.check b/test-nsc/files/run/Course-2002-01.check new file mode 100644 index 0000000000..17b30bf3c2 --- /dev/null +++ b/test-nsc/files/run/Course-2002-01.check @@ -0,0 +1,34 @@ +232 +667 +11 +10 +62.8318 +62.8318 +62.8318 +4.0 +81.0 +256.0 +25.0 +1 +737.0 +1.0 +0.0 +1.0 +76.0 +1.4142156862745097 +1.7321428571428572 +2.0000000929222947 +1.4142156862745097 +1.7321428571428572 +2.0000000929222947 +1.4142156862745097 +1.7321428571428572 +2.0000000929222947 +sqrt(2) = 1.4142135623746899 +sqrt(2) = 1.4142135623746899 +cbrt(2) = 1.2599210500177698 +1 +1 1 +1 2 1 +1 3 3 1 +1 4 6 4 1 diff --git a/test-nsc/files/run/Course-2002-02.check b/test-nsc/files/run/Course-2002-02.check new file mode 100644 index 0000000000..7d96950711 --- /dev/null +++ b/test-nsc/files/run/Course-2002-02.check @@ -0,0 +1,187 @@ +7 +120 + +10.0 +100.0 +2.083333333333333 +3025.7687714031754 +pi = 3.1659792728432152 + +10.0 +100.0 +2.083333333333333 +3025.7687714031754 +pi = 3.1659792728432152 + +10.0 +100.0 +2.083333333333333 +3025.7687714031754 +pi = 3.1659792728432152 + +10.0 +100.0 +2.083333333333333 +3025.7687714031754 +pi = 3.1659792728432152 + +10.0 +100.0 +2.083333333333333 +3025.7687714031754 +pi = 3.1659792728432152 + +10.0 +100.0 +2.083333333333333 +3025.7687714031754 +pi = 3.1659792728432152 + +10.0 +100.0 +2.083333333333333 +3025.7687714031754 +pi = 3.1659792728432152 + +pi = 3.181104885577714 +pi = 3.181104885577714 + +10.0 +100.0 +2.083333333333333 +3025.7687714031754 +pi = 3.1659792728432152 +pi = 3.181104885577714 +pi = 3.181104885577714 + +1.5 +1.4166666666666665 +1.4142156862745097 +1.4142135623746899 +sqrt(2) = 1.4142135623746899 + +1.5 +1.4166666666666665 +1.4142156862745097 +1.4142135623746899 +sqrt(2) = 1.4142135623746899 + +1 + 2 + .. + 5 = 15.0 +1 * 2 * .. * 5 = 120.0 + +1^2 + 2^2 + .. + 5^2 = 55.0 +1^2 * 2^2 * .. * 5^2 = 14400.0 + +factorial(0) = 1.0 +factorial(1) = 1.0 +factorial(2) = 2.0 +factorial(3) = 6.0 +factorial(4) = 24.0 +factorial(5) = 120.0 + +1 + 2 + .. + 5 = 15.0 +1 * 2 * .. * 5 = 120.0 + +1^2 + 2^2 + .. + 5^2 = 55.0 +1^2 * 2^2 * .. * 5^2 = 14400.0 + +factorial(0) = 1.0 +factorial(1) = 1.0 +factorial(2) = 2.0 +factorial(3) = 6.0 +factorial(4) = 24.0 +factorial(5) = 120.0 + +1 + 2 + .. + 5 = 15.0 +1 * 2 * .. * 5 = 120.0 + +1^2 + 2^2 + .. + 5^2 = 55.0 +1^2 * 2^2 * .. * 5^2 = 14400.0 + +factorial(0) = 1.0 +factorial(1) = 1.0 +factorial(2) = 2.0 +factorial(3) = 6.0 +factorial(4) = 24.0 +factorial(5) = 120.0 + +fib(0) = 0 +fib(1) = 1 +fib(2) = 1 +fib(3) = 2 +fib(4) = 3 +fib(5) = 5 +fib(6) = 8 +fib(7) = 13 +fib(8) = 21 +fib(9) = 34 +fib(0) = 0 +fib(1) = 1 +fib(2) = 1 +fib(3) = 2 +fib(4) = 3 +fib(5) = 5 +fib(6) = 8 +fib(7) = 13 +fib(8) = 21 +fib(9) = 34 +power(0,0) = 1.0 +power(0,1) = 0.0 +power(0,2) = 0.0 +power(0,3) = 0.0 +power(0,4) = 0.0 +power(0,5) = 0.0 +power(0,6) = 0.0 +power(0,7) = 0.0 +power(0,8) = 0.0 + +power(1,0) = 1.0 +power(1,1) = 1.0 +power(1,2) = 1.0 +power(1,3) = 1.0 +power(1,4) = 1.0 +power(1,5) = 1.0 +power(1,6) = 1.0 +power(1,7) = 1.0 +power(1,8) = 1.0 + +power(2,0) = 1.0 +power(2,1) = 2.0 +power(2,2) = 4.0 +power(2,3) = 8.0 +power(2,4) = 16.0 +power(2,5) = 32.0 +power(2,6) = 64.0 +power(2,7) = 128.0 +power(2,8) = 256.0 + +power(3,0) = 1.0 +power(3,1) = 3.0 +power(3,2) = 9.0 +power(3,3) = 27.0 +power(3,4) = 81.0 +power(3,5) = 243.0 +power(3,6) = 729.0 +power(3,7) = 2187.0 +power(3,8) = 6561.0 + +power(4,0) = 1.0 +power(4,1) = 4.0 +power(4,2) = 16.0 +power(4,3) = 64.0 +power(4,4) = 256.0 +power(4,5) = 1024.0 +power(4,6) = 4096.0 +power(4,7) = 16384.0 +power(4,8) = 65536.0 + +power(5,0) = 1.0 +power(5,1) = 5.0 +power(5,2) = 25.0 +power(5,3) = 125.0 +power(5,4) = 625.0 +power(5,5) = 3125.0 +power(5,6) = 15625.0 +power(5,7) = 78125.0 +power(5,8) = 390625.0 + diff --git a/test-nsc/files/run/Course-2002-03.check b/test-nsc/files/run/Course-2002-03.check new file mode 100644 index 0000000000..01b9977d39 --- /dev/null +++ b/test-nsc/files/run/Course-2002-03.check @@ -0,0 +1,67 @@ +1 +2 +1/2 +5/6 + +1/3 +5/7 +3/2 +66/42 + +1/3 +5/7 +3/2 +11/7 + +11/7 +7/11 +11/7 +11/7 + +13/36 + +false +true +true +false + +set0 = [] +set1 = [1] +set2 = [1,2] +set3 = [1,2,3] +set4 = [1,2,3,4] + +set2 contains the following elements: +1 +2 + +set3 contains the following elements: +1 +2 +3 + +set4 contains the following elements: +1 +2 +3 +4 + +2 <- set2: true +3 <- set2: false + +setx = [-10,-1,0,3,5,21] +setx * 2 = [-20,-2,0,6,10,42] + +setx = [-10,-1,0,3,5,21] +sety = [-9,-5,-1,0,3,7,8] +setx & sety = [-1,0,3] +sety & setx = [-1,0,3] +setx > 0 = [3,5,21] +sety > 0 = [3,7,8] +setx & sety = [-1,0,3] +sety & setx = [-1,0,3] + +1/1 +1/1 +1/1 + diff --git a/test-nsc/files/run/Course-2002-04.check b/test-nsc/files/run/Course-2002-04.check new file mode 100644 index 0000000000..bf4218fb32 --- /dev/null +++ b/test-nsc/files/run/Course-2002-04.check @@ -0,0 +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.0 +f(1) = 26.0 +f(2) = 87.0 +f(3) = 222.0 + +v1 = List(2.0,3.0,4.0) +v2 = List(6.0,7.0,8.0) + +id = List(List(1.0,0.0,0.0),List(0.0,1.0,0.0),List(0.0,0.0,1.0)) +m1 = List(List(2.0,0.0,0.0),List(0.0,2.0,0.0),List(0.0,0.0,2.0)) +m2 = List(List(1.0,2.0,3.0),List(4.0,5.0,6.0),List(7.0,8.0,9.0)) + +v1 * v1 = 29.0 +v1 * v2 = 65.0 +v2 * v1 = 65.0 +v1 * v2 = 65.0 + +id * v1 = List(2.0,3.0,4.0) +m1 * v1 = List(4.0,6.0,8.0) +m2 * v1 = List(20.0,47.0,74.0) + +trn(id) = List(List(1.0,0.0,0.0),List(0.0,1.0,0.0),List(0.0,0.0,1.0)) +trn(m1) = List(List(2.0,0.0,0.0),List(0.0,2.0,0.0),List(0.0,0.0,2.0)) +trn(m2) = List(List(1.0,4.0,7.0),List(2.0,5.0,8.0),List(3.0,6.0,9.0)) + +List(v1) * id = List(List(2.0,3.0,4.0)) +List(v1) * m1 = List(List(4.0,6.0,8.0)) +List(v1) * m2 = List(List(42.0,51.0,60.0)) + +id * List(v1) = List(List(2.0,3.0,4.0),List(0.0,0.0,0.0),List(0.0,0.0,0.0)) +m1 * List(v1) = List(List(4.0,6.0,8.0),List(0.0,0.0,0.0),List(0.0,0.0,0.0)) +m2 * List(v1) = List(List(2.0,3.0,4.0),List(8.0,12.0,16.0),List(14.0,21.0,28.0)) + +id * id = List(List(1.0,0.0,0.0),List(0.0,1.0,0.0),List(0.0,0.0,1.0)) +id * m1 = List(List(2.0,0.0,0.0),List(0.0,2.0,0.0),List(0.0,0.0,2.0)) +m1 * id = List(List(2.0,0.0,0.0),List(0.0,2.0,0.0),List(0.0,0.0,2.0)) +m1 * m1 = List(List(4.0,0.0,0.0),List(0.0,4.0,0.0),List(0.0,0.0,4.0)) +id * m2 = List(List(1.0,2.0,3.0),List(4.0,5.0,6.0),List(7.0,8.0,9.0)) +m2 * id = List(List(1.0,2.0,3.0),List(4.0,5.0,6.0),List(7.0,8.0,9.0)) +m1 * m2 = List(List(2.0,4.0,6.0),List(8.0,10.0,12.0),List(14.0,16.0,18.0)) +m2 * m1 = List(List(2.0,4.0,6.0),List(8.0,10.0,12.0),List(14.0,16.0,18.0)) +m2 * m2 = List(List(30.0,36.0,42.0),List(66.0,81.0,96.0),List(102.0,126.0,150.0)) + diff --git a/test-nsc/files/run/Course-2002-05.check b/test-nsc/files/run/Course-2002-05.check new file mode 100644 index 0000000000..aa73638bcb --- /dev/null +++ b/test-nsc/files/run/Course-2002-05.check @@ -0,0 +1,44 @@ +(List(),List(1,2,3,4,5,6,7,8)) +(List(1,2,3,4),List(5,6,7,8)) +(List(1,2,3,4,5,6,7,8),List()) + +(List(),List(8,7,6,5,4,3,2,1)) +(List(4,3,2,1),List(8,7,6,5)) +(List(8,7,6,5,4,3,2,1),List()) + +(List(),List(7,2,1,5,4,3,8,6)) +(List(2,1,4,3),List(7,5,8,6)) +(List(7,2,1,5,4,3,8,6),List()) + +List(1,2,3,4,5,6,7,8) + +(List(),List(1,2,3,4,5,6,7,8)) +(List(1,2,3,4),List(5,6,7,8)) +(List(1,2,3,4,5,6,7,8),List()) + +(List(),List(8,7,6,5,4,3,2,1)) +(List(4,3,2,1),List(8,7,6,5)) +(List(8,7,6,5,4,3,2,1),List()) + +(List(),List(7,2,1,5,4,3,8,6)) +(List(2,1,4,3),List(7,5,8,6)) +(List(7,2,1,5,4,3,8,6),List()) + +List(1,2,3,4,5,6,7,8) + +List(List()) +List(List(),List(1)) +List(List(),List(2),List(1),List(1,2)) +List(List(),List(3),List(2),List(2,3),List(1),List(1,3),List(1,2),List(1,2,3)) +List(List(),List(4),List(3),List(3,4),List(2),List(2,4),List(2,3),List(2,3,4),List(1),List(1,4),List(1,3),List(1,3,4),List(1,2),List(1,2,4),List(1,2,3),List(1,2,3,4)) + +queens(1) = List(List((1,1))) +queens(2) = List() +queens(3) = List() +queens(4) = List(List((4,3),(3,1),(2,4),(1,2)),List((4,2),(3,4),(2,1),(1,3))) + +queens(1) = List(List(1)) +queens(2) = List() +queens(3) = List() +queens(4) = List(List(3,1,4,2),List(2,4,1,3)) + diff --git a/test-nsc/files/run/Course-2002-06.check b/test-nsc/files/run/Course-2002-06.check new file mode 100644 index 0000000000..bd354594af --- /dev/null +++ b/test-nsc/files/run/Course-2002-06.check @@ -0,0 +1,38 @@ +%!PS-Adobe-3.0 EPSF-3.0 +%%Title: ProgrammationIV +%%Creator: LAMP +%%BoundingBox: 0 0 595.28 841.89 +%%EndComments + +/m {moveto} bind def +/l {lineto} bind def + +0.14 setlinewidth +newpath +42.52 165.83 m 297.64 165.83 l +297.64 165.83 m 297.64 505.99 l +297.64 505.99 m 42.52 505.99 l +42.52 505.99 m 170.08 676.07 l +170.08 676.07 m 297.64 505.99 l +297.64 505.99 m 42.52 165.83 l +42.52 165.83 m 42.52 505.99 l +42.52 505.99 m 297.64 165.83 l +297.64 165.83 m 425.2 165.83 l +425.2 165.83 m 425.2 505.99 l +425.2 505.99 m 297.64 505.99 l +297.64 505.99 m 361.42 676.07 l +361.42 676.07 m 425.2 505.99 l +425.2 505.99 m 297.64 165.83 l +297.64 165.83 m 297.64 505.99 l +297.64 505.99 m 425.2 165.83 l +425.2 676.07 m 552.76 676.07 l +552.76 676.07 m 552.76 335.91 l +552.76 335.91 m 425.2 335.91 l +425.2 335.91 m 488.98 165.83 l +488.98 165.83 m 552.76 335.91 l +552.76 335.91 m 425.2 676.07 l +425.2 676.07 m 425.2 335.91 l +425.2 335.91 m 552.76 676.07 l +stroke +showpage +%%EOF diff --git a/test-nsc/files/run/Course-2002-07.check b/test-nsc/files/run/Course-2002-07.check new file mode 100644 index 0000000000..0a378e6d20 --- /dev/null +++ b/test-nsc/files/run/Course-2002-07.check @@ -0,0 +1,137 @@ + 0 = 0 + 1 = 1 + 0 + 1 = 1 + 1 + 2 = 3 +2 + 3 + 4 = 9 + + 0 = 0 + 1 = 1 + 0 + 1 = 1 + 1 + 2 = 3 +2 + 3 + 4 = 9 + + 0 = 0 + 1 = 1 + 0 + 1 = 1 + 1 + 2 = 3 +2 + 3 + 4 = 9 + + 0 = 0 + 1 = 1 + 0 + 1 = 1 + 1 + 2 = 3 +2 + 3 + 4 = 9 + +List() = concat(List()) +List() = concat(List(List())) +List() = concat(List(List(),List())) +List() = concat(List(List(),List(),List())) +List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5,6),List())) +List(1,2,3,4,5,6) = concat(List(List(1,2,3),List(4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3,4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5,6),List(),List())) +List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5),List(6),List())) +List(1,2,3,4,5,6) = concat(List(List(1,2,3),List(4,5,6),List())) +List(1,2,3,4,5,6) = concat(List(List(1),List(2,3,4,5,6),List())) +List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3,4,5,6),List())) +List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3,4,5),List(6))) +List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3),List(4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(),List(1),List(2,3,4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(),List(),List(1,2,3,4,5,6))) +List(1,2,3,4,5,6) = concat(List(List(1,2),List(3,4),List(5,6))) + +List() = zipFun(List(),List()) +List() = zipFun(List(),List(a,b,c)) +List() = zipFun(List(1,2,3),List()) +List((1,a)) = zipFun(List(1),List(a)) +List((1,a)) = zipFun(List(1),List(a,b,c)) +List((1,a)) = zipFun(List(1,2,3),List(a)) +List((1,a),(2,b)) = zipFun(List(1,2),List(a,b)) +List((1,a),(2,b)) = zipFun(List(1,2),List(a,b,c)) +List((1,a),(2,b)) = zipFun(List(1,2,3),List(a,b)) +List((1,a),(2,b),(3,c)) = zipFun(List(1,2,3),List(a,b,c)) + +List() = heads(List()) +List() = heads(List(List())) +List() = heads(List(List(),List())) +List() = heads(List(List(),List(),List())) +List(1) = heads(List(List(1,2,3,4,5,6))) +List(1) = heads(List(List(1,2,3,4,5,6),List())) +List(1) = heads(List(List(),List(1,2,3,4,5,6))) +List(1) = heads(List(List(1,2,3,4,5,6),List(),List())) +List(1) = heads(List(List(),List(1,2,3,4,5,6),List())) +List(1) = heads(List(List(),List(),List(1,2,3,4,5,6))) +List(1,2) = heads(List(List(1),List(2,3,4,5,6),List())) +List(1,2) = heads(List(List(),List(1),List(2,3,4,5,6))) +List(1,4) = heads(List(List(1,2,3),List(4,5,6))) +List(1,4) = heads(List(List(1,2,3),List(4,5,6),List())) +List(1,4) = heads(List(List(),List(1,2,3),List(4,5,6))) +List(1,6) = heads(List(List(1,2,3,4,5),List(6),List())) +List(1,6) = heads(List(List(),List(1,2,3,4,5),List(6))) +List(1,3,5) = heads(List(List(1,2),List(3,4),List(5,6))) + +List() = heads(List()) +List() = heads(List(List())) +List() = heads(List(List(),List())) +List() = heads(List(List(),List(),List())) +List(1) = heads(List(List(1,2,3,4,5,6))) +List(1) = heads(List(List(1,2,3,4,5,6),List())) +List(1) = heads(List(List(),List(1,2,3,4,5,6))) +List(1) = heads(List(List(1,2,3,4,5,6),List(),List())) +List(1) = heads(List(List(),List(1,2,3,4,5,6),List())) +List(1) = heads(List(List(),List(),List(1,2,3,4,5,6))) +List(1,2) = heads(List(List(1),List(2,3,4,5,6),List())) +List(1,2) = heads(List(List(),List(1),List(2,3,4,5,6))) +List(1,4) = heads(List(List(1,2,3),List(4,5,6))) +List(1,4) = heads(List(List(1,2,3),List(4,5,6),List())) +List(1,4) = heads(List(List(),List(1,2,3),List(4,5,6))) +List(1,6) = heads(List(List(1,2,3,4,5),List(6),List())) +List(1,6) = heads(List(List(),List(1,2,3,4,5),List(6))) +List(1,3,5) = heads(List(List(1,2),List(3,4),List(5,6))) + +f (x) = Prod(Var(x), Var(x)) +f'(x) = Sum(Prod(Var(x), Number(1)), Prod(Var(x), Number(1))) + +f (x) = x * x +f'(x) = x * 1 + x * 1 +g (x) = 2 * x * x + 3 * x +g'(x) = 2 * x * 1 + x * (2 * 1 + x * 0) + 3 * 1 + x * 0 +g (3) = 27 +g'(3) = 15 + +ta(x) = x + 3 +tb(x) = x + 3 +tc(x) = x + 3 +td(x) = x + 3 +te(x) = 2 * x + 3 +tf(x) = 2 * x + 3 +tg(x) = 6 * x +th(x) = x^6 + +f4(x) = x^4 + 7 * x^3 + 20 * x^2 + 23 * x + 5 +f3(x) = 4 * x^3 + 21 * x^2 + 40 * x + 23 +f2(x) = 12 * x^2 + 42 * x + 40 +f1(x) = 24 * x + 42 +f0(x) = 24 + +f4(0) = 5 ok +f4(1) = 56 ok +f4(2) = 203 ok +f4(3) = 524 ok +f4(4) = 1121 ok + +f3(0) = 23 ok +f3(1) = 88 ok +f3(2) = 219 ok +f3(3) = 440 ok + +f2(0) = 40 ok +f2(1) = 94 ok +f2(2) = 172 ok + +f1(0) = 42 ok +f1(1) = 66 ok + +f0(0) = 24 ok + diff --git a/test-nsc/files/run/Course-2002-08.check b/test-nsc/files/run/Course-2002-08.check new file mode 100644 index 0000000000..ec25c77524 --- /dev/null +++ b/test-nsc/files/run/Course-2002-08.check @@ -0,0 +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.0 +2^1 = 2.0 +2^2 = 4.0 +2^3 = 8.0 + +2^0 = 1.0 +2^1 = 2.0 +2^2 = 4.0 +2^3 = 8.0 + +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 diff --git a/test-nsc/files/run/Course-2002-09.check b/test-nsc/files/run/Course-2002-09.check new file mode 100644 index 0000000000..765962aad8 --- /dev/null +++ b/test-nsc/files/run/Course-2002-09.check @@ -0,0 +1,50 @@ +Probe: f = 32.0 +Probe: c = 0.0 +Probe: f = ? +Probe: c = ? + +Probe: f = 212.0 +Probe: c = 100.0 +Probe: f = ? +Probe: c = ? + +Probe: c = 0.0 +Probe: f = 32.0 +Probe: c = ? +Probe: f = ? + +Probe: c = 100.0 +Probe: f = 212.0 +Probe: c = ? +Probe: f = ? + +0.0 Celsius -> 32.0 Fahrenheits +100.0 Celsius -> 212.0 Fahrenheits +32.0 Fahrenheits -> 0.0 Celsius +212.0 Fahrenheits -> 100.0 Celsius + +a = ?, b = ?, c = ? => ? * ? = ? +a = 2, b = ?, c = ? => 2.0 * ? = ? +a = ?, b = 3, c = ? => ? * 3.0 = ? +a = ?, b = ?, c = 6 => ? * ? = 6.0 +a = 2, b = 3, c = ? => 2.0 * 3.0 = 6.0 +a = 2, b = ?, c = 6 => 2.0 * 3.0 = 6.0 +a = ?, b = 3, c = 6 => 2.0 * 3.0 = 6.0 +a = 2, b = 3, c = 6 => 2.0 * 3.0 = 6.0 + +a = 0, b = ?, c = ? => 0.0 * ? = 0.0 +a = ?, b = 0, c = ? => ? * 0.0 = 0.0 +a = ?, b = ?, c = 0 => ? * ? = 0.0 +a = 0, b = 7, c = ? => 0.0 * 7.0 = 0.0 +a = 7, b = 0, c = ? => 7.0 * 0.0 = 0.0 +a = 0, b = 0, c = ? => 0.0 * 0.0 = 0.0 +a = 0, b = ?, c = 0 => 0.0 * ? = 0.0 +a = ?, b = 0, c = 0 => ? * 0.0 = 0.0 +a = 0, b = 7, c = 0 => 0.0 * 7.0 = 0.0 +a = 7, b = 0, c = 0 => 7.0 * 0.0 = 0.0 +a = 0, b = 0, c = 0 => 0.0 * 0.0 = 0.0 + +a = 3, b = 4 => c = 5.0 +a = 3, c = 5 => b = 4.0 +b = 4, c = 5 => a = 3.0 + diff --git a/test-nsc/files/run/Course-2002-10.check b/test-nsc/files/run/Course-2002-10.check new file mode 100644 index 0000000000..207b671f05 --- /dev/null +++ b/test-nsc/files/run/Course-2002-10.check @@ -0,0 +1,46 @@ +fib(0) = 0 +fib(1) = 1 +fib(2) = 1 +fib(3) = 2 +fib(4) = 3 +fib(5) = 5 +fib(6) = 8 +fib(7) = 13 +fib(8) = 21 +fib(9) = 34 +fib(10) = 55 +fib(11) = 89 +fib(12) = 144 +fib(13) = 233 +fib(14) = 377 +fib(15) = 610 +fib(16) = 987 +fib(17) = 1597 +fib(18) = 2584 +fib(19) = 4181 + +pi(0) = 4.0 , 3.166666666666667 , 4.0 +pi(1) = 2.666666666666667 , 3.1333333333333337, 3.166666666666667 +pi(2) = 3.466666666666667 , 3.1452380952380956, 3.142105263157895 +pi(3) = 2.8952380952380956, 3.1396825396825396, 3.1415993573190044 +pi(4) = 3.33968253968254 , 3.142712842712843 , 3.141592714033778 +pi(5) = 2.976046176046176 , 3.140881340881341 , 3.1415926539752923 +pi(6) = 3.283738483738484 , 3.142071817071817 , 3.141592653591176 +pi(7) = 3.017071817071817 , 3.1412548236077646, 3.141592653589777 +pi(8) = 3.252365934718876 , 3.1418396189294024, 3.141592653589794 +pi(9) = 3.0418396189294024, 3.141406718496502 , 3.1415926535897936 +pi = 3.141592653589793 , 3.141592653589793 , 3.141592653589793 + +ln(0) = 1.0 , 0.7 , 1.0 +ln(1) = 0.5 , 0.6904761904761905, 0.7 +ln(2) = 0.8333333333333333, 0.6944444444444444, 0.6932773109243697 +ln(3) = 0.5833333333333333, 0.6924242424242424, 0.6931488693329254 +ln(4) = 0.7833333333333333, 0.6935897435897436, 0.6931471960735491 +ln(5) = 0.6166666666666667, 0.6928571428571428, 0.6931471806635636 +ln(6) = 0.7595238095238095, 0.6933473389355742, 0.6931471805604038 +ln(7) = 0.6345238095238095, 0.6930033416875522, 0.6931471805599444 +ln(8) = 0.7456349206349207, 0.6932539682539682, 0.6931471805599426 +ln(9) = 0.6456349206349206, 0.6930657506744463, 0.6931471805599453 +ln = 0.6931471805599453, 0.6931471805599453, 0.6931471805599453 + +prime numbers: 2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 101 103 107 109 113 diff --git a/test-nsc/files/run/Course-2002-13.check b/test-nsc/files/run/Course-2002-13.check new file mode 100644 index 0000000000..913c4e4edd --- /dev/null +++ b/test-nsc/files/run/Course-2002-13.check @@ -0,0 +1,14 @@ +List(S = jean,V = mange,A = le,D = grand,N = table) +List(S = jean,V = mange,A = le,D = grand,N = cheval) + +List(S = jean,V = mange,A = le,D = grand,N = cheval) +List(S = jean,V = mange,A = la,D = belle,N = table) + +List(S = jean,V = mange,A = le,D = nil,N = cheval) +List(S = jean,V = mange,A = le,D = cons(grand,nil),N = cheval) +List(S = jean,V = mange,A = le,D = cons(grand,cons(grand,nil)),N = cheval) +List(S = jean,V = mange,A = la,D = nil,N = table) +yes +yes +no + diff --git a/test-nsc/files/run/NestedClasses.check b/test-nsc/files/run/NestedClasses.check new file mode 100644 index 0000000000..94576a5468 --- /dev/null +++ b/test-nsc/files/run/NestedClasses.check @@ -0,0 +1,9 @@ +e.e1 = 130 +cc.m = 3 +cc.am = 1 +cc.bm = 2 +aaa.f = 111 +bbb1.f = 42 +bbb2.f = 24 +bbb3.f = 24 +bbb4.f = 24 diff --git a/test-nsc/files/run/arrays.check b/test-nsc/files/run/arrays.check new file mode 100644 index 0000000000..8a0c57deae --- /dev/null +++ b/test-nsc/files/run/arrays.check @@ -0,0 +1 @@ +checks: 2300 diff --git a/test-nsc/files/run/boolexprs.check b/test-nsc/files/run/boolexprs.check new file mode 100644 index 0000000000..cd2c735894 --- /dev/null +++ b/test-nsc/files/run/boolexprs.check @@ -0,0 +1,3 @@ +test Test1 was successful +test Test2 was successful + diff --git a/test-nsc/files/run/bugs.check b/test-nsc/files/run/bugs.check new file mode 100644 index 0000000000..7ad8f3db8d --- /dev/null +++ b/test-nsc/files/run/bugs.check @@ -0,0 +1,94 @@ +<<< bug 98 +mycase +>>> bug 98 + +<<< bug 120 +one +A +two +B +C +>>> bug 120 + +<<< bug 135 +Some(The answer) +>>> bug 135 + +<<< bug 142 +ok +ok +ok +ok +ok +ok +ok +ok +>>> bug 142 + +<<< bug 166 +>>> bug 166 + +<<< bug 167 +>>> bug 167 + +<<< bug 168 +>>> bug 168 + +<<< bug 174 +>>> bug 174 + +<<< bug 176 +1 +>>> bug 176 + +<<< bug 199 +>>> bug 199 + +<<< bug 213 +>>> bug 213 + +<<< bug 217 +>>> bug 217 + +<<< bug 222 +>>> bug 222 + +<<< bug 225 +>>> bug 225 + +<<< bug 226 +>>> bug 226 + +<<< bug 233 +true +>>> bug 233 + +<<< bug 250 +>>> bug 250 + +<<< bug 257 +hello +hello +>>> bug 257 + +<<< bug 266 +hello +4 +>>> bug 266 + +<<< bug 316 +>>> bug 316 + +<<< bug 328 +>>> bug 328 + +<<< bug 396 +A +B +C +>>> bug 396 + +<<< bug 399 +a +>>> bug 399 + diff --git a/test-nsc/files/run/constructors.check b/test-nsc/files/run/constructors.check new file mode 100644 index 0000000000..0743b7e296 --- /dev/null +++ b/test-nsc/files/run/constructors.check @@ -0,0 +1,5 @@ +x=1 y=2 +x=3 y=3 +x=1 y=1 +x=1 y=2 a=1 b=2 c=a +x=3 y=3 a=3 b=3 c=b diff --git a/test-nsc/files/run/enums.check b/test-nsc/files/run/enums.check new file mode 100644 index 0000000000..b76705b9dd --- /dev/null +++ b/test-nsc/files/run/enums.check @@ -0,0 +1,4 @@ +test Test1 was successful +test Test2 was successful +test Test3 was successful + diff --git a/test-nsc/files/run/exceptions.check b/test-nsc/files/run/exceptions.check new file mode 100644 index 0000000000..b959df29ed --- /dev/null +++ b/test-nsc/files/run/exceptions.check @@ -0,0 +1 @@ +ok: lookup(2000) = KO diff --git a/test-nsc/files/run/imports.check b/test-nsc/files/run/imports.check new file mode 100644 index 0000000000..56f5e23d45 --- /dev/null +++ b/test-nsc/files/run/imports.check @@ -0,0 +1,12 @@ +In C_ico, v_ico .toString() returns C_ico -> ok +In C_ico, field .toString() returns C_ico -> ok +In C_ico, method.toString() returns C_ico -> ok + +In C_ioc, v_ioc .toString() returns C_ioc -> ok +In C_ioc, field .toString() returns C_ioc -> ok +In C_ioc, method.toString() returns C_ioc -> ok + +In C_oic, v_oic .toString() returns C_oic -> ok +In C_oic, field .toString() returns C_oic -> ok +In C_oic, method.toString() returns C_oic -> ok + diff --git a/test-nsc/files/run/iq-msil.check b/test-nsc/files/run/iq-msil.check new file mode 100644 index 0000000000..08f9fc755e --- /dev/null +++ b/test-nsc/files/run/iq-msil.check @@ -0,0 +1,12 @@ +Empty +Head: 42 +q5: Queue(0,1,2,3,4,5,6,7,8,9) +q5[5]: 5 +q5 == q5c: True +q5c == q5: True +q8: Queue(2,3,4,5,6,7,8,9,10,11) +q8 == q9: True +Elements: 1 2 3 4 5 6 7 8 9 +String: <1-2-3-4-5-6-7-8-9> +Length: 9 +Front: 1 diff --git a/test-nsc/files/run/iq.check b/test-nsc/files/run/iq.check new file mode 100644 index 0000000000..8e794a8629 --- /dev/null +++ b/test-nsc/files/run/iq.check @@ -0,0 +1,12 @@ +Empty +Head: 42 +q5: Queue(0,1,2,3,4,5,6,7,8,9) +q5[5]: 5 +q5 == q5c: true +q5c == q5: true +q8: Queue(2,3,4,5,6,7,8,9,10,11) +q8 == q9: true +Elements: 1 2 3 4 5 6 7 8 9 +String: <1-2-3-4-5-6-7-8-9> +Length: 9 +Front: 1 diff --git a/test-nsc/files/run/iterators.check b/test-nsc/files/run/iterators.check new file mode 100644 index 0000000000..a4b1053577 --- /dev/null +++ b/test-nsc/files/run/iterators.check @@ -0,0 +1,7 @@ +test check_from was successful +test check_range was successful +test check_take was successful +test check_drop was successful +test check_foreach was successful +test check_forall was successful + diff --git a/test-nsc/files/run/lisp.check b/test-nsc/files/run/lisp.check new file mode 100644 index 0000000000..8a61dd7315 --- /dev/null +++ b/test-nsc/files/run/lisp.check @@ -0,0 +1,26 @@ +(lambda (x) (+ (* x x) 1)) +(lambda (x) (+ (* x x) 1)) + +( '(1 2 3)) = (1 2 3) +(car '(1 2 3)) = 1 +(cdr '(1 2 3)) = (2 3) +(null? '(2 3)) = 0 +(null? '()) = 1 + +faculty(10) = 3628800 +faculty(10) = 3628800 +foobar = ("a" "bc" "def" "z") + +List('lambda,List('x),List('+,List('*,'x,'x),1)) +(lambda (x) (+ (* x x) 1)) + +( '(1 2 3)) = (1 2 3) +(car '(1 2 3)) = 1 +(cdr '(1 2 3)) = (2 3) +(null? '(2 3)) = 0 +(null? '()) = 1 + +faculty(10) = 3628800 +faculty(10) = 3628800 +foobar = ("a" "bc" "def" "z") + diff --git a/test-nsc/files/run/lists.check b/test-nsc/files/run/lists.check new file mode 100644 index 0000000000..1da0075273 --- /dev/null +++ b/test-nsc/files/run/lists.check @@ -0,0 +1,12 @@ +test check_count was successful +test check_diff was successful +test check_exists was successful +test check_filter was successful +test check_foldLeft was successful +test check_forall was successful +test check_intersect was successful +test check_remove was successful +test check_union was successful +test check_zip was successful +test check_zipAll was successful + diff --git a/test-nsc/files/run/literals.check b/test-nsc/files/run/literals.check new file mode 100644 index 0000000000..fc495283f4 --- /dev/null +++ b/test-nsc/files/run/literals.check @@ -0,0 +1,64 @@ +test '\u0024' == '$' was successful +test '\u005f' == '_' was successful +test 65.asInstanceOf[char] == 'A' was successful + +test 01 == 1 was successful +test 010 == 8 was successful +test 0X01 == 1 was successful +test 0x01 == 1 was successful +test 0x10 == 16 was successful +test 0xa == 10 was successful +test 0x0a == 10 was successful +test +01 == 1 was successful +test +010 == 8 was successful +test +0x01 == 1 was successful +test +0x10 == 16 was successful +test +0xa == 10 was successful +test +0x0a == 10 was successful +test -01 == -1 was successful +test -010 == -8 was successful +test -0x01 == -1 was successful +test -0x10 == -16 was successful +test -0xa == -10 was successful +test -0x0a == -10 was successful +test 017777777777 == 2147483647 was successful +test 020000000000 == -2147483648 was successful +test 037777777777 == -1 was successful +test 0x7fffffff == 2147483647 was successful +test 0x80000000 == -2147483648 was successful +test 0xffffffff == -1 was successful + +test 1l == 1L was successful +test 1L == 1l was successful +test 1.asInstanceOf[long] == 1l was successful +test 0777777777777777777777L == 9223372036854775807L was successful +test 01000000000000000000000L == -9223372036854775808L was successful +test 01777777777777777777777L == -1L was successful +test 0x7fffffffffffffffL == 9223372036854775807L was successful +test 0x8000000000000000L == -9223372036854775808L was successful +test 0xffffffffffffffffL == -1L was successful + +test 1e1f == 10.0f was successful +test 2.f == 2.0f was successful +test .3f == 0.3f was successful +test 0f == 0.0f was successful +test 3.14f == 3.14f was successful +test 6.022e23f == 6.022e23f was successful +test 09f == 9.0f was successful +test 1.asInstanceOf[float] == 1.0 was successful +test 1l.asInstanceOf[float] == 1.0 was successful + +test 1e1 == 10.0 was successful +test 2. == 2.0 was successful +test 2.d == 2.0 was successful +test .3 == 0.3 was successful +test 0.0 == 0.0 was successful +test 0d == 0.0 was successful +test 3.14 == 3.14 was successful +test 1e-9d == 1.0e-9 was successful +test 1e137 == 1.0e137 was successful +test 1.asInstanceOf[double] == 1.0 was successful +test 1l.asInstanceOf[double] == 1.0 was successful + +test "\u001a".length() was successful +test ggg == GGG( 2 ) was successful diff --git a/test-nsc/files/run/map_test.check b/test-nsc/files/run/map_test.check new file mode 100644 index 0000000000..a788c0fbca --- /dev/null +++ b/test-nsc/files/run/map_test.check @@ -0,0 +1,3 @@ +0->0 1->1 2->2 3->3 4->4 5->5 6->6 7->7 8->8 9->9 10->10 11->11 12->12 13->13 14->14 15->15 16->16 17->17 18->18 19->19 20->20 21->21 22->22 23->23 24->24 25->25 26->26 27->27 28->28 29->29 30->30 31->31 32->32 33->33 34->34 35->35 36->36 37->37 38->38 39->39 40->40 41->41 42->42 666->A bigger random number 4711->A big random number +0->0 1->1 2->2 3->3 4->4 5->5 6->6 7->7 8->8 9->9 10->10 11->11 12->12 13->13 14->14 15->15 16->16 17->17 18->18 19->19 20->20 21->21 22->22 23->23 24->24 25->25 26->26 27->27 28->28 29->29 30->30 31->31 32->32 33->33 34->34 35->35 36->36 37->37 38->38 39->39 40->40 41->41 42->42 666->A bigger random number 4711->A big random number +OK diff --git a/test-nsc/files/run/misc.check b/test-nsc/files/run/misc.check new file mode 100644 index 0000000000..9fa7b72d50 --- /dev/null +++ b/test-nsc/files/run/misc.check @@ -0,0 +1,33 @@ +### Hello +### 17 +### Bye + +### fib(0) = 1 +### fib(1) = 1 +### fib(2) = 2 +### fib(3) = 3 +### fib(4) = 5 +=== MyClass::toString === +=== MySubclass::toString === +=== MyClass::test === + +identity + +A.a = 1 +B.a = 5 +B.b = 2 + +X.a = 4 +Y.a = 11 +Y.b = 5 +Y.b = 5 + +X::foo + +Y::foo +X::foo + +3 +3 + +true diff --git a/test-nsc/files/run/mixins.check b/test-nsc/files/run/mixins.check new file mode 100644 index 0000000000..fe3580e2d2 --- /dev/null +++ b/test-nsc/files/run/mixins.check @@ -0,0 +1,8 @@ +M1::B::f +M1::f M2::f M3::f +one +two +A +three +B +C diff --git a/test-nsc/files/run/overloads.check b/test-nsc/files/run/overloads.check new file mode 100644 index 0000000000..7d294870f6 --- /dev/null +++ b/test-nsc/files/run/overloads.check @@ -0,0 +1,15 @@ +ok: -('a') = -97 +ok: -(97) = -97 +ok: Ops.-('a') = a +ok: Ops.-(97) = 97 +ok: -- = 0 +ok: --('a') = a +ok: --(97) = 97 +ok: Ops.-- = 0 +ok: Ops.--('a') = a +ok: Ops.--(97) = 97 +ok: Funcs.foo = 0 +ok: Funcs.foo('a') = 2 +ok: Funcs.foo(97) = 3 +ok: M1.f(3) = 11 +ok: M2.f(3) = 22 diff --git a/test-nsc/files/run/regularpatmat.check b/test-nsc/files/run/regularpatmat.check new file mode 100644 index 0000000000..3417d9a98a --- /dev/null +++ b/test-nsc/files/run/regularpatmat.check @@ -0,0 +1,126 @@ +pretest +passed ok +testWR_1 +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +testWR_2 +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +testWR_3 +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +testWR_4 +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +testWR_5 +passed ok +passed ok +passed ok +testWR_6 +passed ok +passed ok +testWR_7 +passed ok +testWR_8 +passed ok +testWS +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +testWT +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +testWV +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +testBK +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +testBM +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +BN preTest: true +testBN +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +testBO +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +testMZ - bugs #132 #133b #180 #195 #196 #398 #406 #441 +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok +passed ok diff --git a/test-nsc/files/run/runtime.check b/test-nsc/files/run/runtime.check new file mode 100644 index 0000000000..990a087da0 --- /dev/null +++ b/test-nsc/files/run/runtime.check @@ -0,0 +1,64 @@ +<<< Test0 +[false,true] +[0,1,2] +[3,4,5] +[a,b,c] +[6,7,8] +[9,10,11] +[12.0,13.0] +[14.0,15.0] +[string] +>>> Test0 + +<<< Test1 +10 +14 +15 +16 +20 +23 +24 +25 +26 +>>> Test1 + +<<< Test2 +A +M0 +N0 + +A +N0 +M0 + +A +M0 +M1 +N0 + +A +N0 +N1 +M0 + +>>> Test2 + +<<< Test3 +Ok +Ok +Ok +Ok +Ok +Ok +Ok +Ok +Ok +Ok +Ok +Ok +Ok +Ok +Ok +Ok +>>> Test3 + diff --git a/test-nsc/files/run/tailcalls.check b/test-nsc/files/run/tailcalls.check new file mode 100644 index 0000000000..73d86cd2d2 --- /dev/null +++ b/test-nsc/files/run/tailcalls.check @@ -0,0 +1,46 @@ +test Object .f was successful +test Final .f was successful +test Class .f raised exception java.lang.StackOverflowError +test SubClass .f was successful +test Sealed .f raised exception java.lang.StackOverflowError +test SubSealed.f was successful + +test O .f was successful +test c .f was successful +test O.O .f was successful +test O.c .f was successful +test c.O .f was successful +test c.c .f was successful +test O.O.O .f was successful +test O.O.c .f was successful +test O.c.O .f was successful +test O.c.c .f was successful +test c.O.O .f was successful +test c.O.c .f was successful +test c.c.O .f was successful +test c.c.c .f was successful +test O.O.O.O.f was successful +test O.O.O.c.f was successful +test O.O.c.O.f was successful +test O.O.c.c.f was successful +test O.c.O.O.f was successful +test O.c.O.c.f was successful +test O.c.c.O.f was successful +test O.c.c.c.f was successful +test c.O.O.O.f was successful +test c.O.O.c.f was successful +test c.O.c.O.f was successful +test c.O.c.c.f was successful +test c.c.O.O.f was successful +test c.c.O.c.f was successful +test c.c.c.O.f was successful +test c.c.c.c.f was successful + +test TailCall.f1 was successful +test TailCall.f2 was successful +test TailCall.f3 was successful +test TailCall.g1 was successful +test TailCall.g2 was successful +test TailCall.g3 was successful +test TailCall.h1 was successful + |