core_testing1/collatz_test.sh
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 06 Jun 2024 22:18:15 +0100
changeset 487 4a22b233a5bf
parent 474 8a61bcd51ec3
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/bash
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
# to make the script fail safely
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
set -euo pipefail
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
out=${1:-output}
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
302
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
     9
echo -e "" > $out
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
302
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    11
echo -e "Below is the feedback for your submission collatz.scala" >> $out
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    12
echo -e "" >> $out
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
# compilation tests
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
function scala_compile {
474
8a61bcd51ec3 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 471
diff changeset
    18
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala-cli compile -f -color never -Xprint:parser "$1" 2> c$out 1> c$out)
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
}
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
# functional tests
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
function scala_assert {
471
31b81f20fd9a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 469
diff changeset
    24
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala-cli -i "$1" "$2" -e "urbanmain()" 2> /dev/null 1> /dev/null)
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
}
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
# purity test
469
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
    28
function scala_vars {
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
    29
   (sed 's/immutable/ok/g' c$out > cb$out;
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
    30
    egrep '\bvar\b|\breturn\b|\.par\.|\.par |ListBuffer|AtomicInteger|mutable|util.control|new Array' cb$out 2> /dev/null 1> /dev/null)
ed7a9ea24f71 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 399
diff changeset
    31
}
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    35
### compilation test
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    36
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    37
echo -e "collatz.scala runs?" >> $out
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    38
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    39
if (scala_compile collatz.scala)
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    40
then
360
1bd1e9cd8c72 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 356
diff changeset
    41
    echo -e "  --> success" >> $out
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    42
    tsts=$(( 0 ))
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    43
else
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    44
    echo -e "  --> SCALA DID NOT RUN collatz.scala\n" >> $out
471
31b81f20fd9a updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 469
diff changeset
    45
    echo -e "  --> try running scala-cli compile collatz.scala on your own computer\n" >> $out
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    46
    tsts=$(( 1 )) 
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    47
fi
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    48
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    49
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    50
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
# var, .par return, ListBuffer test
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
#
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    54
if  [ $tsts -eq 0 ]
356
35c75b594459 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 352
diff changeset
    55
then
35c75b594459 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 352
diff changeset
    56
   echo -e "collatz.scala does not contain VARS, RETURNS etc?" >> $out
35c75b594459 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 352
diff changeset
    57
    
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    58
   if (scala_vars collatz.scala)
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    59
   then
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    60
      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: 345
diff changeset
    61
      tsts=$(( 1 ))
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    62
   else
360
1bd1e9cd8c72 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 356
diff changeset
    63
      echo -e "  --> success" >> $out
346
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    64
      tsts=$(( 0 )) 
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    65
   fi
ed1b6b8c36e5 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 345
diff changeset
    66
fi    
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
### collatz tests
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
if [ $tsts -eq 0 ]
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
then
302
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    73
  echo -e "collatz.scala tests:" >> $out
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    74
  echo -e "  collatz(1) == 0" >> $out
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    75
  echo -e "  collatz(6) == 8" >> $out
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    76
  echo -e "  collatz(9) == 19" >> $out
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
  if (scala_assert "collatz.scala" "collatz_test1.scala")
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
  then
302
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    80
    echo -e "  --> success" >> $out
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
  else
302
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    82
    echo -e "  --> ONE OF THE TESTS FAILED\n" >> $out
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
  fi
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
fi
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
### collatz-max tests
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
if [ $tsts -eq 0 ]
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
then
302
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    90
  echo -e "  collatz_max(10) == (19, 9)" >> $out
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    91
  echo -e "  collatz_max(100) == (118, 97)" >> $out
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    92
  echo -e "  collatz_max(1000) == (178, 871)" >> $out
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    93
  echo -e "  collatz_max(10000) == (261, 6171)" >> $out
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    94
  echo -e "  collatz_max(100000) == (350, 77031)" >> $out
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    95
  echo -e "  collatz_max(1000000) == (524, 837799)" >> $out
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    96
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    97
  if (scala_assert "collatz.scala" "collatz_test2.scala") 
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
  then
302
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
    99
    echo -e "  --> success" >> $out
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
  else
302
b15e7260e9be updated
Christian Urban <urbanc@in.tum.de>
parents: 281
diff changeset
   101
    echo -e "  --> ONE OF THE TESTS FAILED\n" >> $out
125
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
  fi
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
fi
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
b91ad3761732 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
343
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   106
### last-odd tests
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   107
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   108
if [ $tsts -eq 0 ]
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   109
then
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   110
  echo -e "  last_odd(113) == 85" >> $out
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   111
  echo -e "  last_odd(84) == 21" >> $out
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   112
  echo -e "  last_odd(605) == 341" >> $out
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   113
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   114
  if (scala_assert "collatz.scala" "collatz_test3.scala") 
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   115
  then
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   116
    echo -e "  --> success" >> $out
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   117
  else
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   118
    echo -e "  --> ONE OF THE TESTS FAILED\n" >> $out
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   119
  fi
51e25cc30483 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   120
fi