marking2/docdiff_test.sh
author Christian Urban <urbanc@in.tum.de>
Fri, 14 Dec 2018 14:41:54 +0000
changeset 245 744496a2bade
parent 228 e1e3e259e9b7
child 283 3102d61edf45
permissions -rwxr-xr-x
added marking
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
227
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/bash
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
# to make the script fail safely
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
set -euo pipefail
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
out=${1:-output}
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
echo "" > $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
echo "Below is the feedback and provisional marks for your submission" >> $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
echo "for assignment 7 Part 1 + 2.  Please note all marks are provisional until" >> $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
echo "ratified by the assessment board -- this is not an official" >> $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
echo "results transcript." >> $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
echo "" >> $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
echo "Below is the feedback for your submission docdiff.scala" >> $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
echo "" >> $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
# marks for CW7 parts 1 + 2
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
marks=$(( 0 ))
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
# compilation tests
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
function scala_compile {
228
e1e3e259e9b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    27
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -nc "$1" 2>> $out 1>> $out) 
227
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
}
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
# functional tests
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
function scala_assert {
228
e1e3e259e9b7 updated
Christian Urban <urbanc@in.tum.de>
parents: 227
diff changeset
    33
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -nc -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
227
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
}
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
# purity test
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
function scala_vars {
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
   (egrep '\bvar\b|\breturn\b|ListBuffer|mutable' "$1" 2> /dev/null 1> /dev/null)
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
}
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
# var, .par return, ListBuffer test
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
#
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
echo "docdiff.scala does not contain vars, returns etc?" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
if (scala_vars docdiff.scala)
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
then
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
  echo "  --> test failed" | tee -a $out  
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
  tsts0=$(( 1 ))
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
else
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
  echo "  --> success" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
  tsts0=$(( 0 )) 
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
fi
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
### compilation test
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
if  [ $tsts0 -eq 0 ]
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
then 
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
  echo "docdiff.scala runs?" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
  if (scala_compile docdiff.scala)
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
  then
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
    echo "  --> success" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
    tsts=$(( 0 ))
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
  else
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
    echo "  --> scala did not run docdiff.scala" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
    tsts=$(( 1 )) 
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
  fi
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
else
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
  tsts=$(( 1 ))     
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
fi
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
### docdiff clean tests
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
if [ $tsts -eq 0 ]
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
then
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
  echo "docdiff.scala tests:" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
  echo "  clean(\"ab a abc\") == List(\"ab\", \"a\", \"abc\")" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
  echo "  clean(\"ab*a abc1\") == List(\"ab\", \"a\", \"abc1\")" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
  if (scala_assert "docdiff.scala" "docdiff_test1.scala")
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
  then
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
      echo "  --> success" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
      marks=$(( marks + 1 ))
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
  else
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
    echo "  --> one of the tests failed" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
  fi
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
fi
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
### docdiff occurrences tests
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    93
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
if [ $tsts -eq 0 ]
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    95
then
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    96
  echo "  occurrences(List(\"a\", \"b\", \"b\", \"c\", \"d\")) == " |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    97
  echo "      Map(\"a\" -> 1, \"b\" -> 2, \"c\" -> 1, \"d\" -> 1)" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
  echo "  " |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
  echo "  occurrences(List(\"d\", \"b\", \"d\", \"b\", \"d\")) == " |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
  echo "      Map(\"d\" -> 3, \"b\" -> 2)" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   101
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
  if (scala_assert "docdiff.scala" "docdiff_test2.scala") 
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
  then
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
      echo "  --> success" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
      marks=$(( marks + 1 ))
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   106
  else
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   107
    echo "  --> one of the tests failed" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   108
  fi
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   109
fi
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   110
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   111
### docdiff prod tests
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   112
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   113
if [ $tsts -eq 0 ]
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   114
then
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   115
  echo "  val l1 = List(\"a\", \"b\", \"b\", \"c\", \"d\")" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   116
  echo "  val l2 = List(\"d\", \"b\", \"d\", \"b\", \"d\")" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   117
  echo "  " |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   118
  echo "  prod(l1, l2) == 7 " |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   119
  echo "  prod(l1, l1) == 7 " |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   120
  echo "  prod(l2, l2) == 13 " |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   121
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   122
  if (scala_assert "docdiff.scala" "docdiff_test3.scala") 
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   123
  then
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   124
      echo "  --> success" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   125
      marks=$(( marks + 1 ))
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   126
  else
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   127
    echo "  --> one of the tests failed" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   128
  fi
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   129
fi
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   130
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   131
### docdiff overlap tests
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133
if [ $tsts -eq 0 ]
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   134
then
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   135
  echo "  val l1 = List(\"a\", \"b\", \"b\", \"c\", \"d\")" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   136
  echo "  val l2 = List(\"d\", \"b\", \"d\", \"b\", \"d\")" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   137
  echo "  " |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   138
  echo "  overlap(l1, l2) == 0.5384615384615384 " |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   139
  echo "  overlap(l1, l1) == 1.0 " |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   140
  echo "  overlap(l2, l2) == 1.0 " |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   141
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   142
  if (scala_assert "docdiff.scala" "docdiff_test4.scala") 
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   143
  then
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   144
      echo "  --> success" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   145
      marks=$(( marks + 1 ))
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
  else
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   147
    echo "  --> one of the tests failed" |  tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   148
  fi
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   149
fi
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   150
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   151
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   152
## final marks
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   153
echo "Overall mark for Part 1" | tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   154
echo " $marks" | tee -a $out
37e659cfbb2e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   155