[abc] test run results

From: Ganesh Sittampalam <ganesh@earth.li>
Date: Sun Jan 15 2006 - 03:10:46 GMT

Pass: 954 (no change)
Fail: 18 (no change)
Skipped: 105 (no change)

Lost:

Gained:
Received on Sun Jan 15 03:10:49 2006

This message: [ Message body ]
Next message: Ondrej LHOTAK: "[abc] test run results (with re-weaving)"
Previous message: Eric Bodden: "AW: [abc] Runtime verification, abc docs, benchmarks"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Sun Jan 15 2006 - 10:40:10 GMT