main_testing5/bfc_test.sh
author Christian Urban <christian.urban@kcl.ac.uk>
Sun, 08 Nov 2020 13:09:38 +0000
changeset 355 e4d779587d3f
parent 352 644aca68e203
child 376 944db68cddbd
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
263
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/bash
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
set -e
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
out=${1:-output}
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
echo -e "" > $out
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
echo -e "Below is the feedback for your submission of CW 10, Part 2." >> $out
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
echo -e "" >> $out
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
# compilation tests
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
function scala_compile {
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    14
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -Xprint:parser "$1" 2> c$out 1> c$out)
263
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
}
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
# functional tests
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
function scala_assert {
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    20
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -i "$1" -- "$2" -e "" 2> /dev/null 1> /dev/null)
263
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
}
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
# purity test
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
function scala_vars {
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    26
   (egrep '\bvar\b|\breturn\b|\.par\.|\.par |ListBuffer|mutable|util.control|new Array' c$out 2> /dev/null 1> /dev/null)
263
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
}
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    30
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    31
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    32
# compilation test
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    33
echo -e "bfc.scala runs?" >> $out
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    34
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    35
if (scala_compile bfc.scala)
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    36
then
352
644aca68e203 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 348
diff changeset
    37
    echo -e "  --> passed" >> $out
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    38
    tsts1=$(( 0 ))
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    39
else
352
644aca68e203 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 348
diff changeset
    40
    echo -e "  --> SCALA DID NOT RUN BFC.SCALA\n" >> $out
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    41
    tsts1=$(( 1 )) 
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    42
fi
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    43
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    44
263
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
# var, return, ListBuffer test
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
#
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    47
if [ $tsts1 -eq 0 ]
263
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
then
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    49
    echo -e "bfc.scala does not contain vars, returns etc?" >> $out
263
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    51
    if (scala_vars bfc.scala)
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    52
    then
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    53
	echo -e "   --> FAIL (make triple-sure your program conforms to the required format)" >> $out  
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    54
	tsts1=$(( 1 ))
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    55
    else
352
644aca68e203 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 348
diff changeset
    56
	echo -e "  --> passed" >> $out
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    57
	tsts1=$(( 0 )) 
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    58
    fi
263
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
fi
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
### bfc tests
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
if [ $tsts1 -eq 0 ]
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
then
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
  echo -e " jtable(\"\"\"+++++[->++++++++++<]>--<+++[->>++++++++++<<]>>++<<----------[+>.>.<+<]\"\"\") ==" >> $out
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
  echo -e "     Map(69 -> 61, 5 -> 20, 60 -> 70, 27 -> 44, 43 -> 28, 19 -> 6)" >> $out  
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
  
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
  if (scala_assert "bfc.scala" "bf_test5.scala")
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
  then
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
    echo -e "  --> success" >> $out
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
  else
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
    echo -e "  --> \n ONE TEST FAILED\n" >> $out
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
  fi
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
fi
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
if [ $tsts1 -eq 0 ]
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
then
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
  echo -e " optimise(load_bff(\"benchmark.bf\")).length == 181" >> $out
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    81
  echo -e " optimise(load_bff(\"mandelbrot.bf\")).length == 11205" >> $out  
263
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
  
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
  if (scala_assert "bfc.scala" "bf_test6.scala")
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
  then
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
    echo -e "  --> success" >> $out
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
  else
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
    echo -e "  --> \n ONE TEST FAILED\n" >> $out
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
  fi
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
fi
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    93
if [ $tsts1 -eq 0 ]
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
then
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    95
    echo -e " combine(optimise(load_bff(\"benchmark.bf\"))).length == 134" >> $out
348
194d6ee45800 updated jars
Christian Urban <christian.urban@kcl.ac.uk>
parents: 286
diff changeset
    96
    echo -e " combine(optimise(load_bff(\"mandelbrot.bf\"))).length == 6511" >> $out
263
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    97
  
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
  if (scala_assert "bfc.scala" "bf_test7.scala")
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
  then
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
    echo -e "  --> success" >> $out
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   101
  else
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
    echo -e "  --> \n ONE TEST FAILED\n" >> $out   
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
  fi
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
fi
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   106
43297a2f7740 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   107