core_testing2/docdiff_test.sh
author Christian Urban <christian.urban@kcl.ac.uk>
Mon, 06 Nov 2023 14:18:26 +0000
changeset 474 8a61bcd51ec3
parent 470 195ad66315d9
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/bash
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
# to make the script fail safely
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
set -euo pipefail
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
out=${1:-output}
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
echo "" > $out
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
echo "Below is the feedback for your submission docdiff.scala" >> $out
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
echo "" >> $out
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
# compilation tests
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
function scala_compile {
474
8a61bcd51ec3 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 470
diff changeset
    17
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala-cli compile -Xprint:parser "$1" 2> c$out 1> c$out)
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
}
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
# functional tests
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
function scala_assert {
470
195ad66315d9 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
    23
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala-cli -i "$1" "$2" -e "urbanmain()" 2> /dev/null 1> /dev/null)
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
}
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
# purity test
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
function scala_vars {
470
195ad66315d9 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
    28
   (sed 's/immutable/ok/g' c$out > cb$out;
195ad66315d9 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
    29
    egrep '\bvar\b|\breturn\b|\.par\.|\.par |ListBuffer|AtomicInteger|mutable|util.control|new Array' cb$out 2> /dev/null 1> /dev/null)
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
}
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    33
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    34
### compilation test
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    35
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    36
echo -e "docdiff.scala runs?" >> $out
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    37
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    38
if (scala_compile docdiff.scala)
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    39
then
352
644aca68e203 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 346
diff changeset
    40
    echo -e "  --> passed" >> $out
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    41
    tsts=$(( 0 ))
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    42
else
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    43
    echo -e "  --> SCALA DID NOT RUN docdiff.scala\n" >> $out
470
195ad66315d9 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 401
diff changeset
    44
    echo -e "  --> try running scala-cli compile docdiff.scala on your own computer\n" >> $out
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    45
    tsts=$(( 1 )) 
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    46
fi
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    47
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    48
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
# var, .par return, ListBuffer test
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
#
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    51
echo -e "docdiff.scala does not contain vars, returns etc?" >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    53
if  [ $tsts -eq 0 ]
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
then 
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    55
   if (scala_vars docdiff.scala)
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    56
   then
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    57
      echo -e "  --> FAIL (make triple-sure your program conforms to the required format)\n" >> $out
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    58
      tsts=$(( 1 ))
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    59
   else
352
644aca68e203 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 346
diff changeset
    60
      echo -e "  --> passed" >> $out
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    61
      tsts=$(( 0 )) 
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 283
diff changeset
    62
   fi
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
fi
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
### docdiff clean tests
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
if [ $tsts -eq 0 ]
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
then
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    69
  echo -e "docdiff.scala tests:" >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    70
  echo -e "  clean(\"ab a abc\") == List(\"ab\", \"a\", \"abc\")" >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    71
  echo -e "  clean(\"ab*a abc1\") == List(\"ab\", \"a\", \"abc1\")" >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
  if (scala_assert "docdiff.scala" "docdiff_test1.scala")
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
  then
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    75
    echo -e "  --> success\n" >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
  else
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    77
    echo -e "  --> ONE OF THE TESTS FAILED\n" >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
  fi
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
fi
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
### docdiff occurrences tests
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
if [ $tsts -eq 0 ]
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
then
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    85
  echo -e "  occurrences(List(\"a\", \"b\", \"b\", \"c\", \"d\")) == " >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    86
  echo -e "      Map(\"a\" -> 1, \"b\" -> 2, \"c\" -> 1, \"d\" -> 1)" >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    87
  echo -e "  " >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    88
  echo -e "  occurrences(List(\"d\", \"b\", \"d\", \"b\", \"d\")) == " >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    89
  echo -e "      Map(\"d\" -> 3, \"b\" -> 2)" >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
  if (scala_assert "docdiff.scala" "docdiff_test2.scala") 
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
  then
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    93
    echo -e "  --> success\n" >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
  else
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
    95
    echo -e "  --> ONE OF THE TESTS FAILED\n" >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    96
  fi
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    97
fi
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
### docdiff prod tests
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   101
if [ $tsts -eq 0 ]
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
then
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   103
  echo -e "  val l1 = List(\"a\", \"b\", \"b\", \"c\", \"d\")" >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   104
  echo -e "  val l2 = List(\"d\", \"b\", \"d\", \"b\", \"d\")" >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   105
  echo -e "  " >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   106
  echo -e "  prod(l1, l2) == 7 " >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   107
  echo -e "  prod(l1, l1) == 7 " >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   108
  echo -e "  prod(l2, l2) == 13 " >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   109
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   110
  if (scala_assert "docdiff.scala" "docdiff_test3.scala") 
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   111
  then
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   112
    echo -e "  --> success\n" >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   113
  else
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   114
    echo -e "  --> ONE OF THE TESTS FAILED\n" >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   115
  fi
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   116
fi
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   117
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   118
### docdiff overlap tests
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   119
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   120
if [ $tsts -eq 0 ]
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   121
then
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   122
  echo -e "  val l1 = List(\"a\", \"b\", \"b\", \"c\", \"d\")" >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   123
  echo -e "  val l2 = List(\"d\", \"b\", \"d\", \"b\", \"d\")" >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   124
  echo -e "  " >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   125
  echo -e "  overlap(l1, l2) == 0.5384615384615384 " >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   126
  echo -e "  overlap(l1, l1) == 1.0 " >> $out
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   127
  echo -e "  overlap(l2, l2) == 1.0 " >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   128
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   129
  if (scala_assert "docdiff.scala" "docdiff_test4.scala") 
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   130
  then
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   131
    echo -e "  --> success\n" >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
  else
283
3102d61edf45 updated
Christian Urban <urbanc@in.tum.de>
parents: 261
diff changeset
   133
    echo -e "  --> ONE OF THE TESTS FAILED\n" >> $out
211
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   134
  fi
1859d978b18e updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   135
fi