From 1ebf8777baa6ab8624e02908f9c8b4b13a6a572f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 1 May 2008 17:31:31 +0000 Subject: [PATCH] More precise classification of failures. --- helm/software/components/ng_kernel/TEST | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/helm/software/components/ng_kernel/TEST b/helm/software/components/ng_kernel/TEST index 7abd86d70..e4810633e 100644 --- a/helm/software/components/ng_kernel/TEST +++ b/helm/software/components/ng_kernel/TEST @@ -1,17 +1,20 @@ +CONTENUTO alluris.txt.OK: + matita BellLabs Cachan Dyade Eindhoven IdealX +Lyon tranne PROCESSES Marseille Montevideo Muenchen Nancy Paris -Rocq/TreeAutomata -Rocq/tutto tranne ails, coc, higman, ALGEBRA/CATEGORY_THEORY -Sophia-Antipolis/Bertrand +Rocq tranne ails, coc, higman, ALGEBRA/CATEGORY_THEORY +Sophia-Antipolis tranne algebra, buchberger, huffmann, math_groups, + float, geometry Suresnes Utrecht @@ -20,6 +23,7 @@ Utrecht contrib di matita? ++++++++++++++++ + [CoRN: calcolo grafi da caricare troppo lento] [Coq: calcolo grafi da caricare troppo lento] [Sophia-Antipolis: calcolo grafi da caricare troppo lento] @@ -38,9 +42,9 @@ Sophia-Antipolis/Buchberger: nuovo nucleo diverge Sophia-Antipolis/huffmann: Unknown constant Sophia-Antipolis/MATH/GROUPS: Unknown constant -Rocq/ALGEBRA/CATEGORY_THEORY: vecchio nucleo +Rocq/ALGEBRA/CATEGORY_THEORY: vecchio nucleo: ??? Sophia-Antipolis/Algebra: vecchio nucleo variabili -lyon.ok: vecchio nucleo, variabili +lyon/PROCESSES: vecchio nucleo, variabili lannion: nuovo nucleo impredicative set rocq.higman: nuovo nucleo impredicative set -- 2.39.2