blob: 6d337a6b1dd4d898d24905805b0de675f53b58b4 (
plain)
1
2
3
4
5
6
7
|
# Aste started: 2010-07-07 01:00:09
# Host id: Boogiebox
# [2010-07-07 01:00:13] SpecSharp revision: 54390
# [2010-07-07 01:00:16] Boogie revision: 54851
# [2010-07-07 01:00:19] SscBoogie revision: 54839
[2010-07-07 01:25:47] 0 out of 24 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
# [2010-07-07 01:27:35] Released nightly of Boogie
|