Admin/isatest/isatest-stats
author wenzelm
Wed, 05 Dec 2007 20:16:36 +0100
changeset 25547 ffa6e91b7add
parent 24831 887d1b32a1a5
child 26172 fa302c5bc2f2
permissions -rwxr-xr-x
removed -e flag from most sessions;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     1
#!/usr/bin/env bash
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     2
#
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     3
# $Id$
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     4
# Author: Makarius
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     5
#
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     6
# DESCRIPTION: Standard statistics.
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     7
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     8
THIS=$(cd "$(dirname "$0")"; pwd -P)
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     9
25547
ffa6e91b7add removed -e flag from most sessions;
wenzelm
parents: 24831
diff changeset
    10
PLATFORMS="at-poly at-sml-dev at64-poly at64-poly-5.1-para at-mac-poly-5.1-para afp"
24831
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    11
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    12
ISABELLE_SESSIONS="\
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    13
  HOL \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    14
  HOL-Algebra \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    15
  HOL-Auth \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    16
  HOL-Bali \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    17
  HOL-Complex \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    18
  HOL-Complex-ex \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    19
  HOL-Extraction \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    20
  HOL-Hoare \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    21
  HOL-HoareParallel \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    22
  HOL-Lambda \
24489
d4967d2188d6 added some more entries;
wenzelm
parents: 24317
diff changeset
    23
  HOL-MetisExamples \
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    24
  HOL-MicroJava \
23443
fd8ffc8a5709 added HOL-Nominal-Examples;
wenzelm
parents: 22410
diff changeset
    25
  HOL-Nominal-Examples \
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    26
  HOL-NumberTheory \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    27
  HOL-SET-Protocol \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    28
  HOL-UNITY \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    29
  HOL-ex \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    30
  ZF \
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    31
  ZF-Constructible\
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    32
  ZF-UNITY"
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    33
24831
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    34
AFP_SESSIONS="\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    35
  CoreC++\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    36
  HOL-DiskPaxos\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    37
  HOL-Fermat3_4\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    38
  HOL-Flyspeck-Tame\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    39
  HOL-Group-Ring-Module\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    40
  HOL-Jinja\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    41
  HOL-JiveDataStoreModel\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    42
  HOL-POPLmark-deBruijn\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    43
  HOL-RSAPSS\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    44
  HOL-SumSquares\
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    45
  HOL-Valuation"
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    46
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    47
for PLATFORM in $PLATFORMS
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    48
do
24831
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    49
  if [ "$PLATFORM" = afp ]; then
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    50
    SESSIONS="$AFP_SESSIONS"
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    51
  else
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    52
    SESSIONS="$ISABELLE_SESSIONS"
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    53
  fi
887d1b32a1a5 cover AFP logs as well, using "afp" pseudo-platform;
wenzelm
parents: 24489
diff changeset
    54
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    55
  "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" ${1:-100} $SESSIONS
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    56
  cat > "stats/$PLATFORM.html" <<EOF
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    57
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    58
<html>
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    59
<head><title>Development Snapshot -- Performance Statistics</title></head>
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    60
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    61
<body>
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    62
<h1>$PLATFORM</h1>
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    63
EOF
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    64
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    65
for SESSION in $SESSIONS
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    66
do
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    67
  echo "<br><img src="$PLATFORM/$SESSION.png"><br>" >> "stats/$PLATFORM.html"
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    68
done
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    69
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    70
echo "</body>" >> "stats/$PLATFORM.html"
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    71
echo "</html>" >> "stats/$PLATFORM.html"
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    72
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    73
done