pre_marking1/collatz_test.sh
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 27 Nov 2020 15:03:50 +0000
changeset 374 03e3fa0f401c
parent 373 0d29bc6ba639
child 375 d886c0fd7374
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
373
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
#!/bin/bash
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
# to make the script fail safely
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
set -euo pipefail
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
out=${1:-output}
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
echo "" > $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
echo `date` >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
echo >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
echo "Below is the feedback and provisional marks for your submission" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    14
echo "for the Preliminary Part of Part 1 (Scala).  Please note all marks are provisional until" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
echo "ratified by the assessment board -- this is not an official" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
echo "results transcript." >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    17
echo "" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    18
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    19
echo "The feedback for your submission for collatz.scala" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    20
echo "" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    21
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    22
# marks for CW6 basic part 
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    23
marks=$(( 0 ))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    24
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    25
# compilation tests
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    26
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    27
function scala_compile {
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    28
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -Xprint:parser "$1" 2> c$out 1> c$out)
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    29
}
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    30
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    31
# functional tests
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    32
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    33
function scala_assert {
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    34
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -nc -i "$1" -- "$2" -e "" 2> /dev/null 1> /dev/null)
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    35
}
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    36
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    37
# purity test
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    38
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    39
function scala_vars {
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    40
   (egrep '\bvar\b|\breturn\b|\.par\.|\.par |ListBuffer|mutable|util.control|new Array' c$out 2> /dev/null 1> /dev/null)
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    41
}
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    42
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    43
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    44
### compilation test
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    45
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    46
echo -e "collatz.scala runs?" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    47
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    48
if (scala_compile collatz.scala)
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    49
then
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    50
    echo -e "  --> success" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    51
    tsts0=$(( 0 ))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    52
else
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    53
    echo -e "  --> SCALA DID NOT RUN collatz.scala\n" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    54
    tsts0=$(( 1 )) 
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    55
fi
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    56
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    57
# var, .par return, ListBuffer test
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    58
#
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    59
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    60
if  [ $tsts0 -eq 0 ]
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    61
then
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    62
   echo -e "collatz.scala does not contain VARS, RETURNS etc?" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    63
    
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    64
   if (scala_vars collatz.scala)
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    65
   then
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    66
      echo -e "  --> test failed\n" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    67
      tsts=$(( 1 ))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    68
   else
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    69
      echo -e "  --> success" >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    70
      tsts=$(( 0 )) 
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    71
   fi
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    72
fi    
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    73
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    74
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    75
echo >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    76
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    77
### collatz tests
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    78
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    79
if [ $tsts -eq 0 ]
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    80
then
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    81
  echo "collatz.scala tests:" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    82
  echo "  collatz(1) == 0" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    83
  echo "  collatz(6) == 8" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    84
  echo "  collatz(9) == 19" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    85
  echo "  collatz(9000) == 47" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    86
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    87
  if (scala_assert "collatz.scala" "collatz_test1.scala")
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    88
  then
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    89
      echo "  --> success" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    90
      marks=$(( marks + 1 ))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    91
  else
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    92
    echo "  --> one of the tests failed" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    93
  fi
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    94
fi
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    95
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    96
### collatz-max tests
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    97
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    98
if [ $tsts -eq 0 ]
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    99
then
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   100
  echo "  collatz_max(10) == (19, 9)" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   101
  echo "  collatz_max(100) == (118, 97)" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   102
  echo "  collatz_max(1000) == (178, 871)" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   103
  echo "  collatz_max(10000) == (261, 6171)" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   104
  echo "  collatz_max(100000) == (350, 77031)" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   105
  echo "  collatz_max(1000000) == (524, 837799)" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   106
  #  echo "  collatz_max(2) == (1, 2) || collatz_max(2) == (0, 1)" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   107
  echo "  collatz_max(2) == (1, 2)" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   108
  echo "  collatz_max(77000) == (339, 52527)" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   109
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   110
  if (scala_assert "collatz.scala" "collatz_test2.scala") 
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   111
  then
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   112
      echo "  --> success" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   113
      marks=$(( marks + 1 ))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   114
  else
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   115
    echo "  --> one of the tests failed" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   116
  fi
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   117
fi
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   118
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   119
### last-odd tests
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   120
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   121
if [ $tsts -eq 0 ]
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   122
then
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   123
  echo "  last_odd(113) == 85" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   124
  echo "  last_odd(84) == 21" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   125
  echo "  last_odd(605) == 341" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   126
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   127
  if (scala_assert "collatz.scala" "collatz_test3.scala") 
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   128
  then
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   129
      echo "  --> success" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   130
      marks=$(( marks + 1 ))
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   131
  else
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   132
    echo "  --> one of the tests failed" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   133
  fi
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   134
fi
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   135
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   136
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   137
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   138
## final marks
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   139
echo >> $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   140
echo "Overall mark for the Preliminary Part 1 (Scala)" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   141
echo " $marks" | tee -a $out
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   142
0d29bc6ba639 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   143