[abc] test run results

From: Ganesh Sittampalam <ganesh@earth.li>
Date: Fri Jan 13 2006 - 03:10:50 GMT

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

Lost:

Gained:
Received on Fri Jan 13 03:10:52 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 : Fri Jan 13 2006 - 10:40:09 GMT