blob: 602392bda7a6c1ce09cbc02f237f62dcb8ca24d7 (
plain)
1
2
3
4
5
6
7
|
# Aste started: 2010-07-10 07:00:07
# Host id: Boogiebox
# [2010-07-10 07:00:12] SpecSharp revision: 54390
# [2010-07-10 07:00:16] Boogie revision: 54984
# [2010-07-10 07:00:19] SscBoogie revision: 54839
[2010-07-10 07:26:41] 0 out of 25 test(s) in D:\Temp\aste\Boogie\Test\alltests.txt failed
# [2010-07-10 07:28:22] Released nightly of Boogie
|
