testing3/knight1_test.sh
author Christian Urban <urbanc@in.tum.de>
Sat, 02 Feb 2019 13:28:05 +0000
changeset 261 abb03b298dcb
parent 220 1c47cede8e71
child 266 31e5218f43de
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/bash
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
set -euo pipefail
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
out=${1:-output}
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
echo -e "" > $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
echo -e "Below is the feedback for your submission of CW 8, Part 1 and 2." >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
echo -e "" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
# compilation tests
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
function scala_compile {
261
abb03b298dcb updated
Christian Urban <urbanc@in.tum.de>
parents: 220
diff changeset
    15
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -nc "$1" 2>> $out 1>> $out) 
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    16
}
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
# functional tests
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
function scala_assert_slow {
261
abb03b298dcb updated
Christian Urban <urbanc@in.tum.de>
parents: 220
diff changeset
    21
  (ulimit -t 120; JAVA_OPTS="-Xmx1g" scala -nc -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    22
}
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
function scala_assert_thirty {
261
abb03b298dcb updated
Christian Urban <urbanc@in.tum.de>
parents: 220
diff changeset
    25
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -nc -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
220
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
}
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
function scala_assert_quick {
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -nc -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
}
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
# purity test
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
function scala_vars {
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
   (egrep '\bvar\b|\breturn\b|\.par|ListBuffer|mutable|new Array' "$1" 2> /dev/null 1> /dev/null)
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
}
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    38
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
# knights1: purity test
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
echo -e "knight1.scala does not contain vars, returns etc?" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
if (scala_vars knight1.scala)
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
  echo -e "  --> fail (make triple-sure your program conforms to the required format)" >> $out  
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
  tsts0=$(( 0 ))
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
else
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
  echo -e "  --> success" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
  tsts0=$(( 0 )) 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
# compilation test
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
if [ $tsts0 -eq 0 ]
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
then    
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
  echo -e "knight1.scala runs?" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
  if (scala_compile knight1.scala)
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
  then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
    echo -e "  --> success " >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
    tsts1=$(( 0 ))
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
  else
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
    echo -e "  --> SCALA DID NOT RUN KNIGHT1.SCALA\n" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
    tsts1=$(( 1 )) 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
  fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
else
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
  tsts1=$(( 1 ))   
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
### knight1 test
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
if [ $tsts1 -eq 0 ]
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
    echo -e "Takes 10 seconds or less to execute: " >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
    echo -e " is_legal(8, Nil, (3, 4)) == true " >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
    echo -e " is_legal(8, List((4, 1), (1, 0)), (4, 1)) == false " >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
    echo -e " is_legal(2, Nil, (0, 0)) == true" >> $out                          
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
    if (scala_assert_quick "knight1.scala" "knight_test1.scala")
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
    then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
        echo -e "  --> success" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
    else
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
        echo -e "  --> \n ONE TEST FAILED\n" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
    fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
### knight2 test
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
if [ $tsts1 -eq 0 ]
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
  echo -e "Takes 10 seconds or less to execute: " >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    93
  echo -e " legal_moves(8, Nil, (2,2)) == List((3,4), (4,3), (4,1), (3,0), (1,0), (0,1), (0,3), (1,4))" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
  echo -e " legal_moves(8, Nil, (7,7)) == List((6,5), (5,6))" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    95
  echo -e " legal_moves(8, List((4,1), (1,0)), (2,2)) == List((3,4), (4,3), (3,0), (0,1), (0,3), (1,4))" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    96
  echo -e " legal_moves(8, List((6,6)), (7,7)) == List((6,5), (5,6))" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    97
  echo -e " legal_moves(1, Nil, (0,0)) == Nil" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
  echo -e " legal_moves(2, Nil, (0,0)) == Nil" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
  echo -e " legal_moves(3, Nil, (0,0)) == List((1,2), (2,1))" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   100
  
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   101
  if (scala_assert_quick "knight1.scala" "knight_test2.scala")
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
  then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
    echo -e "  --> success" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
  else
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
    echo -e "  --> \n ONE TEST FAILED\n" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   106
  fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   107
fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   108
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   109
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   110
### knight3 test
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   111
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   112
if [ $tsts1 -eq 0 ]
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   113
then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   114
  echo -e "Takes 10 seconds or less to execute: " >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   115
  echo -e " count_tours from every position on the board" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   116
  echo -e " dim = 1: 1" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   117
  echo -e "       2: 0,0,0,0" >>  $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   118
  echo -e "       3: 0,0,0,0,0,0,0,0,0" >>  $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   119
  echo -e "       4: 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   120
  #echo -e "       5: 304,0,56,0,304,0,56,0,56,0,56,0,64,0,56,0,56,0,56,0,304,0,56,0,304" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   121
  echo -e " enum_tours(5, List((0,0)) ) == 304 and all correct?" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   122
  echo -e " enum_tours(5, List((0,1)) ) == 0" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   123
  echo -e " enum_tours(5, List((0,2)) ) == 56 and all correct?" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   124
  
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   125
  if (scala_assert_quick "knight1.scala" "knight_test3.scala") 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   126
  then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   127
    echo -e "  --> success" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   128
  else
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   129
    echo -e "  --> \n ONE TEST FAILED\n" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   130
  fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   131
fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133
### knight4 test
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   134
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   135
if [ $tsts1 -eq 0 ]
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   136
then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   137
  echo -e "Takes 10 seconds or less to execute: " >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   138
  echo -e " Let f = (x:(Int, Int)) => if (x._1 > 3) Some(List(x)) else None " >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   139
  echo -e "   first(List((1,0),(2,0),(3,0),(4,0)), f) == Some(List((4,0)))" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   140
  echo -e "   first(List((1,0),(2,0),(3,0)), f) == None" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   141
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   142
  if (scala_assert_quick "knight1.scala" "knight_test4.scala") 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   143
  then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   144
    echo -e "  --> success" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   145
  else
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
    echo -e "  --> \n ONE TEST FAILED\n" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   147
  fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   148
fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   149
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   150
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   151
### knight5 test
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   152
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   153
if [ $tsts1 -eq 0 ]
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   154
then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   155
  echo -e "Takes 10 seconds or less to execute: " >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   156
  echo -e " is first_tour(6, List((0, 0))) ok? " >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   157
  echo -e " is first_tour(4, List((0, 0))) == None " >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   158
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   159
  if (scala_assert_quick "knight1.scala" "knight_test5.scala") 
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   160
  then
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   161
    echo -e "  --> success" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   162
  else
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   163
    echo -e "  --> \n ONE TEST FAILED\n" >> $out
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   164
  fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   165
fi
1c47cede8e71 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   166