testing4/postfix_test.sh
author Christian Urban <urbanc@in.tum.de>
Sun, 03 Nov 2019 14:42:17 +0000
changeset 308 e86add5a6961
parent 300 72688efdf17c
permissions -rwxr-xr-x
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
#!/bin/bash
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
set -euo pipefail
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
out=${1:-output}
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
echo -e "" > $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
300
72688efdf17c updated testing files
Christian Urban <urbanc@in.tum.de>
parents: 266
diff changeset
     9
echo -e "Below is the feedback for your submission of CW 9, Preliminary Part." >> $out
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
echo -e "" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    12
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
# compilation tests
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    15
function scala_compile {
266
ca48ac1d3c3e updated to 2.13
Christian Urban <urbanc@in.tum.de>
parents: 250
diff changeset
    16
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala "$1" 2>> $out 1>> $out)   
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    17
}
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    18
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    19
# functional tests
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    20
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
function scala_assert {
300
72688efdf17c updated testing files
Christian Urban <urbanc@in.tum.de>
parents: 266
diff changeset
    22
  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -i "$1" -- "$2" 2> /dev/null 1> /dev/null) 
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
}
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    25
# purity test
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    27
function scala_vars {
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    28
   (egrep '\bvar\b|\breturn\b|\.par|ListBuffer|mutable|new Array' "$1" 2> /dev/null 1> /dev/null)
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    29
}
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    30
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    32
# var, return, ListBuffer test
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    33
#
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    34
echo -e "postfix.scala does not contain vars, returns etc?" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    35
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
if (scala_vars postfix.scala)
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
then
300
72688efdf17c updated testing files
Christian Urban <urbanc@in.tum.de>
parents: 266
diff changeset
    38
  echo -e "   --> FAIL (make triple-sure your program conforms to the required format)" >> $out 
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    39
  tsts0=$(( 0 ))
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
else
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    41
  echo -e "  --> success" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
  tsts0=$(( 0 )) 
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    43
fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    44
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    46
# compilation test
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    47
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    48
if  [ $tsts0 -eq 0 ]
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    49
then    
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
  echo -e "postfix.scala runs?" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    51
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    52
  if (scala_compile postfix.scala)
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    53
  then
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
    echo -e "  --> yes" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    55
    tsts1=$(( 0 ))
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
  else
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
    echo -e "  --> SCALA DID NOT RUN POSTFIX.SCALA\n" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    58
    tsts1=$(( 1 )) 
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    59
  fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    60
else
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    61
  tsts1=$(( 1 ))     
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    62
fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    63
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
### postfix tests
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    65
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    66
if [ $tsts1 -eq 0 ]
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    67
then
250
1b08b8ac13fd updated
Christian Urban <urbanc@in.tum.de>
parents: 249
diff changeset
    68
  echo -e " syard(split(\"3 + 4 * ( 2 - 1 )\")) == List(\"3\", \"4\", \"2\", \"1\", \"-\", \"\*\", \"+\")" >> $out
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
  echo -e " syard(split(\"( ( ( 3 ) ) + ( ( 4 + ( 5 ) ) ) )\")) == List(\"3\", \"4\", \"5\", \"+\", \"+\")" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
  echo -e " syard(split(\"5 + 7 / 2\")) == List(\"5\", \"7\", \"2\", \"/\", \"+\")" >> $out
250
1b08b8ac13fd updated
Christian Urban <urbanc@in.tum.de>
parents: 249
diff changeset
    71
  echo -e " syard(split(\"5 * 7 / 2\")) == List(\"5\", \"7\", \"\*\", \"2\", \"/\")" >> $out
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    72
  
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
  if (scala_assert "postfix.scala" "postfix_test7.scala")
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
  then
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
    echo -e "  --> success" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    76
  else
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
    echo -e "  --> \n ONE TEST FAILED\n" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
  fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    79
fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    81
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
if [ $tsts1 -eq 0 ]
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    84
then
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    85
  echo -e " compute(syard(split(\"3 + 4 * ( 2 - 1 )\"))) == 7" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    86
  echo -e " compute(syard(split(\"10 + 12 * 33\"))) == 406" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
  echo -e " compute(syard(split(\"( 5 + 7 ) * 2\"))) == 24" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
  echo -e " compute(syard(split(\"5 + 7 / 2\"))) == 8" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
  echo -e " compute(syard(split(\"5 * 7 / 2\"))) == 17" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    90
  echo -e " compute(syard(split(\"9 + 24 / ( 7 - 3 )\"))) == 15" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    91
  
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
  if (scala_assert "postfix.scala" "postfix_test8.scala")
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    93
  then
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
    echo -e "  --> success" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    95
  else
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    96
    echo -e "  --> \n ONE TEST FAILED\n" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    97
  fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    98
fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
300
72688efdf17c updated testing files
Christian Urban <urbanc@in.tum.de>
parents: 266
diff changeset
   100
echo -e "" >> $out
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   101
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
### postfix2 tests
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   103
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   104
# var, return, ListBuffer test
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   105
#
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   106
echo -e "\n\npostfix2.scala does not contain vars, returns etc?" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   107
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   108
if (scala_vars postfix2.scala)
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   109
then
300
72688efdf17c updated testing files
Christian Urban <urbanc@in.tum.de>
parents: 266
diff changeset
   110
  echo -e "   --> FAIL (make triple-sure your program conforms to the required format)" >> $out 
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   111
  tsts0=$(( 0 ))
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   112
else
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   113
  echo -e "  --> success" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   114
  tsts0=$(( 0 )) 
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   115
fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   116
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   117
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   118
# compilation test
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   119
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   120
if  [ $tsts0 -eq 0 ]
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   121
then    
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   122
  echo -e "postfix2.scala runs?" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   123
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   124
  if (scala_compile postfix2.scala)
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   125
  then
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   126
    echo -e "  --> yes" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   127
    tsts1=$(( 0 ))
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   128
  else
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   129
    echo -e "  --> SCALA DID NOT RUN POSTFIX2.SCALA\n" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   130
    tsts1=$(( 1 )) 
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   131
  fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
else
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133
  tsts1=$(( 1 ))     
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   134
fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   135
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   136
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   137
if [ $tsts1 -eq 0 ]
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   138
then
250
1b08b8ac13fd updated
Christian Urban <urbanc@in.tum.de>
parents: 249
diff changeset
   139
  echo -e " syard(split(\"3 + 4 * ( 2 - 1 )\")) == List(\"3\", \"4\", \"2\", \"1\", \"-\", \"\*\", \"+\")" >> $out
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   140
  echo -e " syard(split(\"( ( ( 3 ) ) + ( ( 4 + ( 5 ) ) ) )\")) == List(\"3\", \"4\", \"5\", \"+\", \"+\")" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   141
  echo -e " syard(split(\"5 + 7 / 2\")) == List(\"5\", \"7\", \"2\", \"/\", \"+\")" >> $out
250
1b08b8ac13fd updated
Christian Urban <urbanc@in.tum.de>
parents: 249
diff changeset
   142
  echo -e " syard(split(\"5 * 7 / 2\")) == List(\"5\", \"7\", \"\*\", \"2\", \"/\")" >> $out
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   143
  echo -e " syard(split(\"3 + 4 * 8 / ( 5 - 1 ) ^ 2 ^ 3\")) == " >> $out
250
1b08b8ac13fd updated
Christian Urban <urbanc@in.tum.de>
parents: 249
diff changeset
   144
  echo -e "         List(\"3\", \"4\", \"8\", \"\*\", \"5\", \"1\", \"-\", \"2\", \"3\", \"^\", \"^\", \"/\", \"+\")" >> $out
249
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   145
  echo -e " " >> $out 
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
  echo -e " compute(syard(split(\"3 + 4 * ( 2 - 1 )\"))) == 7" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   147
  echo -e " compute(syard(split(\"10 + 12 * 33\"))) == 406" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   148
  echo -e " compute(syard(split(\"( 5 + 7 ) * 2\"))) == 24" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   149
  echo -e " compute(syard(split(\"5 + 7 / 2\"))) == 8" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   150
  echo -e " compute(syard(split(\"5 * 7 / 2\"))) == 17" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   151
  echo -e " compute(syard(split(\"9 + 24 / ( 7 - 3 )\"))) == 15" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   152
  echo -e " compute(syard(split(\"4 ^ 3 ^ 2\"))) == 262144" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   153
  echo -e " compute(syard(split(\"4 ^ ( 3 ^ 2 )\"))) == 262144" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   154
  echo -e " compute(syard(split(\"( 4 ^ 3 ) ^ 2\"))) == 4096" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   155
  echo -e " compute(syard(split(\"( 3 + 1 ) ^ 2 ^ 3\"))) == 65536" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   156
  
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   157
  if (scala_assert "postfix2.scala" "postfix_test9.scala")
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   158
  then
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   159
    echo -e "  --> success" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   160
  else
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   161
    echo -e "  --> \n ONE TEST FAILED\n" >> $out
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   162
  fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   163
fi
1997cfcd6334 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   164