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