Admin/isatest-stats
author wenzelm
Tue Sep 19 22:04:38 2006 +0200 (2006-09-19)
changeset 20617 ca59894f70dc
parent 20615 0d71cc267e0d
child 20618 3f763be47c2f
permissions -rwxr-xr-x
timespan: 100 days;
wenzelm@20613
     1
#!/usr/bin/env bash
wenzelm@20613
     2
#
wenzelm@20613
     3
# $Id$
wenzelm@20613
     4
# Author: Makarius
wenzelm@20613
     5
#
wenzelm@20613
     6
# DESCRIPTION: Standard statistics.
wenzelm@20613
     7
wenzelm@20613
     8
THIS=$(cd "$(dirname "$0")"; pwd -P)
wenzelm@20613
     9
wenzelm@20615
    10
for PLATFORM in at-poly at-sml-dev
wenzelm@20615
    11
do
wenzelm@20617
    12
  "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 100 \
wenzelm@20615
    13
    HOL \
wenzelm@20615
    14
    HOL-Algebra \
wenzelm@20615
    15
    HOL-Auth \
wenzelm@20615
    16
    HOL-Bali \
wenzelm@20615
    17
    HOL-Complex \
wenzelm@20615
    18
    HOL-Extraction \
wenzelm@20615
    19
    HOL-Hoare \
wenzelm@20615
    20
    HOL-HoareParallel \
wenzelm@20615
    21
    HOL-Lambda \
wenzelm@20615
    22
    HOL-MicroJava \
wenzelm@20615
    23
    HOL-NumberTheory \
wenzelm@20615
    24
    HOL-SET-Protocol \
wenzelm@20615
    25
    HOL-UNITY \
wenzelm@20615
    26
    HOL-ex \
wenzelm@20615
    27
    ZF \
wenzelm@20615
    28
    ZF-Constructible
wenzelm@20615
    29
done