| changeset 20613 | 8f2731bfe86f |
| child 20615 | 0d71cc267e0d |
| 20612:706c22b3a8fb | 20613:8f2731bfe86f |
|---|---|
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 |