Back to the "Multiple platform build/check report" | A B C D E F G H I J K L M N O P Q R [S] T U V W X Y Z |
This page was generated on 2017-04-15 16:08:34 -0400 (Sat, 15 Apr 2017).
Package 1211/1296 | Hostname | OS / Arch | INSTALL | BUILD | CHECK | BUILD BIN | |||||
survcomp 1.24.0 Benjamin Haibe-Kains
| malbec1 | Linux (Ubuntu 16.04.1 LTS) / x86_64 | OK | OK | OK | ||||||
tokay1 | Windows Server 2012 R2 Standard / x64 | OK | OK | OK | OK | ||||||
morelia | Mac OS X Mavericks (10.9.5) / x86_64 | OK | OK | OK | OK |