tuned;
authorwenzelm
Tue Sep 19 22:00:32 2006 +0200 (2006-09-19)
changeset 206150d71cc267e0d
parent 20614 948ad402c8a7
child 20616 b36a4e843d0e
tuned;
Admin/isatest-statistics
Admin/isatest-stats
     1.1 --- a/Admin/isatest-statistics	Tue Sep 19 21:49:38 2006 +0200
     1.2 +++ b/Admin/isatest-statistics	Tue Sep 19 22:00:32 2006 +0200
     1.3 @@ -51,7 +51,7 @@
     1.4    $(find "$ISATEST_LOG" -name "isatest-makeall-${PLATFORM}*" -ctime "-${TIMESPAN}") | \
     1.5  perl -e '
     1.6    while (<>) {
     1.7 -    if (m/isatest-makeall-\w+-\w+-(\d+)-(\d+)-(\d+)-.*:Finished (\S+) \(.*, (\d+):(\d+):(\d+) cpu time\)/) {
     1.8 +    if (m/isatest-makeall-.*-(\d+)-(\d+)-(\d+)-.*:Finished (\S+) \(.*, (\d+):(\d+):(\d+) cpu time\)/) {
     1.9          my $year = $1;
    1.10          my $month = $2;
    1.11          my $day = $3;
     2.1 --- a/Admin/isatest-stats	Tue Sep 19 21:49:38 2006 +0200
     2.2 +++ b/Admin/isatest-stats	Tue Sep 19 22:00:32 2006 +0200
     2.3 @@ -7,20 +7,23 @@
     2.4  
     2.5  THIS=$(cd "$(dirname "$0")"; pwd -P)
     2.6  
     2.7 -"$THIS/isatest-statistics" stats/at-poly at-poly 100 \
     2.8 -  HOL \
     2.9 -  HOL-Algebra \
    2.10 -  HOL-Auth \
    2.11 -  HOL-Bali \
    2.12 -  HOL-Complex \
    2.13 -  HOL-Extraction \
    2.14 -  HOL-Hoare \
    2.15 -  HOL-HoareParallel \
    2.16 -  HOL-Lambda \
    2.17 -  HOL-MicroJava \
    2.18 -  HOL-NumberTheory \
    2.19 -  HOL-SET-Protocol \
    2.20 -  HOL-UNITY \
    2.21 -  HOL-ex \
    2.22 -  ZF \
    2.23 -  ZF-Constructible
    2.24 +for PLATFORM in at-poly at-sml-dev
    2.25 +do
    2.26 +  "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 1000 \
    2.27 +    HOL \
    2.28 +    HOL-Algebra \
    2.29 +    HOL-Auth \
    2.30 +    HOL-Bali \
    2.31 +    HOL-Complex \
    2.32 +    HOL-Extraction \
    2.33 +    HOL-Hoare \
    2.34 +    HOL-HoareParallel \
    2.35 +    HOL-Lambda \
    2.36 +    HOL-MicroJava \
    2.37 +    HOL-NumberTheory \
    2.38 +    HOL-SET-Protocol \
    2.39 +    HOL-UNITY \
    2.40 +    HOL-ex \
    2.41 +    ZF \
    2.42 +    ZF-Constructible
    2.43 +done