| § accept |
genode: bad accept: ENOENT |
| § accept-nonblock |
genode: bad accept: EWOULDBLOCK |
| § bind-any-0 |
genode: good exit: 0 |
| § bind-any-0-getpeername |
genode: good getsockname: ENOTCONN |
| § bind-any-0-getsockname |
genode: good 0.0.0.0:non-zero |
| § bind-any-0-unbind |
genode: good bind AF_UNSPEC: EAFNOSUPPORT |
| § bind-broadcast-0-getpeername |
genode: unknown getpeername: ENOTCONN |
| § bind-broadcast-0-getsockname |
genode: unknown 255.255.255.255:non-zero |
| § bind-conflict-any-any |
genode: bad exit: 0 |
| § bind-conflict-any-any-so-reuseaddr |
genode: unknown exit: 0 |
| § bind-conflict-any-any-so-reuseaddr-both |
genode: unknown exit: 0 |
| § bind-conflict-any-broadcast |
genode: bad exit: 0 |
| § bind-conflict-any-broadcast-so-reuseaddr |
genode: unknown exit: 0 |
| § bind-conflict-any-broadcast-so-reuseaddr-both |
genode: unknown exit: 0 |
| § bind-conflict-any-loopback |
genode: bad exit: 0 |
| § bind-conflict-any-loopback-so-reuseaddr |
genode: unknown exit: 0 |
| § bind-conflict-any-loopback-so-reuseaddr-both |
genode: good exit: 0 |
| § bind-conflict-broadcast-any |
genode: bad exit: 0 |
| § bind-conflict-broadcast-any-so-reuseaddr |
genode: unknown exit: 0 |
| § bind-conflict-broadcast-any-so-reuseaddr-both |
genode: unknown exit: 0 |
| § bind-conflict-broadcast-broadcast |
genode: bad exit: 0 |
| § bind-conflict-broadcast-broadcast-so-reuseaddr |
genode: unknown exit: 0 |
| § bind-conflict-broadcast-loopback |
genode: unknown exit: 0 |
| § bind-conflict-broadcast-loopback-so-reuseaddr |
genode: unknown exit: 0 |
| § bind-conflict-broadcast-loopback-so-reuseaddr-both |
genode: unknown exit: 0 |
| § bind-conflict-loopback-any |
genode: bad exit: 0 |
| § bind-conflict-loopback-any-so-reuseaddr |
genode: unknown exit: 0 |
| § bind-conflict-loopback-any-so-reuseaddr-both |
genode: good exit: 0 |
| § bind-conflict-loopback-broadcast |
genode: unknown exit: 0 |
| § bind-conflict-loopback-broadcast-so-reuseaddr |
genode: unknown exit: 0 |
| § bind-conflict-loopback-broadcast-so-reuseaddr-both |
genode: unknown exit: 0 |
| § bind-conflict-loopback-loopback |
genode: bad exit: 0 |
| § bind-conflict-loopback-loopback-so-reuseaddr |
genode: unknown exit: 0 |
| § bind-conflict-loopback-loopback-so-reuseaddr-both |
genode: unknown exit: 0 |
| § bind-connect-self |
genode: good exit: 0 |
| § bind-connect-self-send |
genode: good exit: 0 |
| § bind-connect-self-send-poll |
genode: bad 0 | POLLOUT |
| § bind-connect-self-send-recv |
genode: good x |
| § bind-connect-self-send-shutdown-r-poll |
genode: bad 0 | POLLOUT |
| § bind-connect-self-send-shutdown-r-recv |
genode: unknown x |
| § bind-connect-self-send-shutdown-r-recv-recv |
genode: bad recv?: ENOENT |
| § bind-connect-self-send-shutdown-rw-poll |
genode: bad 0 | POLLOUT |
| § bind-connect-self-send-shutdown-rw-recv |
genode: unknown x |
| § bind-connect-self-send-shutdown-rw-recv-recv |
genode: bad recv?: ENOENT |
| § bind-connect-self-shutdown-r-send-poll |
genode: bad 0 | POLLOUT |
| § bind-connect-self-shutdown-r-send-recv |
genode: bad x |
| § bind-lan-subnet-broadcast |
genode: good exit: 0 |
| § bind-lan-subnet-first |
genode: unknown exit: 0 |
| § bind-lan-subnet-wrong |
genode: bad exit: 0 |
| § bind-loopback-0-getpeername |
genode: good getsockname: ENOTCONN |
| § bind-loopback-0-getsockname |
genode: good 127.0.0.1:non-zero |
| § bind-loopback-broadcast |
genode: unknown exit: 0 |
| § bind-loopback-other |
genode: unknown exit: 0 |
| § bind-rebind |
genode: bad exit: 0 |
| § bind-sendto-self |
genode: good exit: 0 |
| § bind-sendto-self-recv |
genode: good x |
| § bind-socket-sendto-first-poll |
genode: bad 0 | POLLOUT |
| § bind-socket-sendto-first-recv |
genode: good x |
| § bind-socket-sendto-first-shutdown-r-poll |
genode: bad 0 | POLLOUT |
| § bind-socket-sendto-first-shutdown-r-recv |
genode: bad x |
| § bind-socket-sendto-first-shutdown-rw-poll |
genode: bad 0 | POLLOUT |
| § bind-socket-sendto-first-shutdown-rw-recv |
genode: bad x |
| § bind-socket-sendto-first-shutdown-w-poll |
genode: bad 0 | POLLOUT |
| § bind-socket-sendto-first-shutdown-w-recv |
genode: unknown x |
| § bind-socket-shutdown-r-sendto-first-poll |
genode: unknown 0 | POLLOUT |
| § bind-socket-shutdown-r-sendto-first-recv |
genode: bad x |
| § bind-socket-shutdown-rw-sendto-first-poll |
genode: unknown 0 | POLLOUT |
| § bind-socket-shutdown-rw-sendto-first-recv |
genode: bad x |
| § bind-socket-shutdown-w-sendto-first-poll |
genode: bad 0 | POLLOUT |
| § bind-socket-shutdown-w-sendto-first-recv |
genode: unknown x |
| § connect-any-0-getpeername |
genode: unknown getpeername: ENOTCONN |
| § connect-any-0-getsockname |
genode: unknown 127.0.0.1:non-zero |
| § connect-any-getpeername |
genode: bad getpeername: ENOTCONN |
| § connect-any-getsockname |
genode: unknown 127.0.0.1:non-zero |
| § connect-broadcast-getpeername |
genode: bad getpeername: ENOTCONN |
| § connect-broadcast-getpeername-so-broadcast |
genode: bad setsockopt: SO_BROADCAST: ENOPROTOOPT |
| § connect-broadcast-getsockname |
genode: good 192.168.1.x:non-zero |
| § connect-broadcast-getsockname-so-broadcast |
genode: bad setsockopt: SO_BROADCAST: ENOPROTOOPT |
| § connect-getpeername |
genode: bad getpeername: ENOTCONN |
| § connect-loopback-0-getpeername |
genode: unknown getpeername: ENOTCONN |
| § connect-loopback-0-getsockname |
genode: unknown 127.0.0.1:non-zero |
| § connect-loopback-get-so-bindtodevice |
genode: good getsockopt: SO_BINDTODEVICE: ENOSYS |
| § connect-loopback-getpeername |
genode: bad getpeername: ENOTCONN |
| § connect-loopback-getsockname |
genode: good 127.0.0.1:non-zero |
| § connect-loopback-reconnect-loopback-getsockname |
genode: bad second connect: EISCONN |
| § connect-loopback-reconnect-wan-getsockname |
genode: bad second connect: EISCONN |
| § connect-poll |
genode: good 0 | POLLOUT |
| § connect-reconnect |
genode: bad second connect: EISCONN |
| § connect-reconnect-any-getpeername |
genode: bad second connect: EISCONN |
| § connect-reconnect-getpeername |
genode: bad second connect: EISCONN |
| § connect-reconnect-same |
genode: bad second connect: EISCONN |
| § connect-recv |
genode: bad recv: ENOENT |
| § connect-send-error-accept |
genode: bad accept: EACCES |
| § connect-send-error-getpeername |
genode: bad getpeername: ENOTCONN |
| § connect-send-error-getsockname |
genode: good exit: 0 |
| § connect-send-error-listen |
genode: bad exit: 0 |
| § connect-send-error-poll |
genode: unknown 0 | POLLOUT |
| § connect-send-error-poll-poll |
genode: unknown first poll: 0 | POLLOUT second poll: 0 | POLLOUT |
| § connect-send-error-poll-so-error-poll |
genode: bad SO_ERROR: no error LOUT second poll: 0 | POLLOUT |
| § connect-send-error-reconnect |
genode: bad second connect: EISCONN |
| § connect-send-error-recv |
genode: bad EOF |
| § connect-send-error-send |
genode: bad second send: no error |
| § connect-send-error-send-send |
genode: bad second send: no error third send: no error |
| § connect-send-error-shutdown-r-recv |
genode: unknown EOF |
| § connect-send-error-shutdown-r-send |
genode: bad exit: 0 |
| § connect-send-error-shutdown-rw-recv |
genode: unknown EOF |
| § connect-send-error-shutdown-rw-send |
genode: bad exit: 0 |
| § connect-send-error-shutdown-rw-so-error |
genode: bad SO_ERROR: no error |
| § connect-send-error-shutdown-w-recv |
genode: bad EOF |
| § connect-send-error-shutdown-w-send |
genode: bad exit: 0 |
| § connect-send-error-so-error-send-send |
genode: bad SO_ERROR: no error second send: no error third send: no error |
| § connect-sendto-null |
genode: good exit: 0 |
| § connect-sendto-other |
genode: good exit: 0 |
| § connect-sendto-same |
genode: good exit: 0 |
| § connect-shutdown |
genode: good exit: 0 |
| § connect-shutdown-r-recv |
genode: bad recv: ENOENT |
| § connect-shutdown-r-send |
genode: good exit: 0 |
| § connect-shutdown-r-unconnect-recv |
genode: bad recv: ENOENT |
| § connect-shutdown-r-unconnect-send |
genode: good exit: 0 |
| § connect-shutdown-reconnect |
genode: bad second connect: EISCONN |
| § connect-shutdown-rw-reconnect-send |
genode: bad second connect: EISCONN |
| § connect-shutdown-rw-recv |
genode: bad recv: ENOENT |
| § connect-shutdown-rw-send |
genode: bad exit: 0 |
| § connect-shutdown-rw-unconnect-recv |
genode: bad recv?: ENOENT |
| § connect-shutdown-rw-unconnect-send |
genode: bad exit: 0 |
| § connect-shutdown-w-recv |
genode: bad recv?: ENOENT |
| § connect-shutdown-w-send |
genode: bad exit: 0 |
| § connect-shutdown-w-unconnect-recv |
genode: bad recv: ENOENT |
| § connect-shutdown-w-unconnect-send |
genode: bad exit: 0 |
| § connect-unconnect |
genode: good exit: 0 |
| § connect-unconnect-getpeername |
genode: good getpeername: ENOTCONN |
| § connect-unconnect-getsockname |
genode: unknown 127.0.0.1:non-zero |
| § connect-unconnect-sa-family |
genode: unknown exit: 0 |
| § connect-unconnect-shutdown-r-recv |
genode: bad recv: ENOENT |
| § connect-unconnect-shutdown-r-send |
genode: unknown exit: 0 |
| § connect-unconnect-shutdown-rw-recv |
genode: bad recv?: ENOENT |
| § connect-unconnect-shutdown-rw-send |
genode: bad exit: 0 |
| § connect-unconnect-shutdown-w-recv |
genode: bad recv?: ENOENT |
| § connect-unconnect-shutdown-w-send |
genode: bad exit: 0 |
| § connect-unconnect-sockaddr |
genode: unknown exit: 0 |
| § connect-unconnect-sockaddr-in |
genode: good exit: 0 |
| § connect-unconnect-sockaddr-storage |
genode: good exit: 0 |
| § connect-unconnect-unconnect |
genode: good exit: 0 |
| § connect-wan-get-so-bindtodevice |
genode: good getsockopt: SO_BINDTODEVICE: ENOSYS |
| § connect-wan-getsockname |
genode: good 192.168.1.x:non-zero |
| § connect-wan-send-reconnect-loopback-send |
genode: bad second connect: EISCONN |
| § connect-wan-unconnect-rebind-any-getsockname |
genode: bad 192.168.1.x:non-zero |
| § connect-wan-unconnect-rebind-same-getsockname |
genode: unknown 192.168.1.x:non-zero |
| § cross-netif-lan-send-loopback-recv |
genode: good 192.168.1.x:non-zero: x |
| § cross-netif-loopback-send-lan-recv |
genode: good 127.0.0.1:non-zero: x |
| § get-so-bindtodevice |
genode: good getsockopt: SO_BINDTODEVICE: ENOSYS |
| § getpeername |
genode: good getpeername: ENOTCONN |
| § getsockname |
genode: good 0.0.0.0:0 |
| § listen |
genode: bad exit: 0 |
| § pair-poll |
genode: good 0 | POLLOUT |
| § pair-send-poll |
genode: bad 0 | POLLOUT |
| § pair-send-recv |
genode: good x |
| § pair-send-shutdown-r-poll |
genode: bad 0 | POLLOUT |
| § pair-send-shutdown-r-recv |
genode: unknown x |
| § pair-send-shutdown-rw-poll |
genode: bad 0 | POLLOUT |
| § pair-send-shutdown-rw-recv |
genode: unknown x |
| § pair-send-shutdown-w-poll |
genode: bad 0 | POLLOUT |
| § pair-send-shutdown-w-recv |
genode: good x |
| § pair-shutdown-r-poll |
genode: unknown 0 | POLLOUT |
| § pair-shutdown-r-send-poll |
genode: bad 0 | POLLOUT |
| § pair-shutdown-r-send-recv |
genode: bad x |
| § pair-shutdown-rw-poll |
genode: bad 0 | POLLOUT |
| § pair-shutdown-rw-send-poll |
genode: unknown 0 | POLLOUT |
| § pair-shutdown-rw-send-recv |
genode: bad x |
| § pair-shutdown-w-poll |
genode: unknown 0 | POLLOUT |
| § pair-shutdown-w-send-poll |
genode: bad 0 | POLLOUT |
| § pair-shutdown-w-send-recv |
genode: good x |
| § poll |
genode: unknown 0 | POLLOUT |
| § recvfrom-getsockname |
genode: bad recvfrom?: ENOENT |
| § send |
genode: bad exit: 0 |
| § sendto-any-so-error |
genode: unknown exit: 0 |
| § sendto-getsockname |
genode: good 0.0.0.0:non-zero |
| § sendto-loopback-0-so-error |
genode: unknown exit: 0 |
| § sendto-null |
genode: bad exit: 0 |
| § shutdown |
genode: unknown exit: 0 |
| § shutdown-r-recv |
genode: bad recv?: ENOENT |
| § shutdown-r-send |
genode: unknown exit: 0 |
| § shutdown-rw-recv |
genode: bad recv?: ENOENT |
| § shutdown-rw-send |
genode: bad exit: 0 |
| § shutdown-w-recv |
genode: bad recv?: ENOENT |
| § shutdown-w-send |
genode: bad exit: 0 |
| § so-error |
genode: good SO_ERROR: no error |
| § trio-connect-send-right-x-poll |
genode: bad 0 | POLLOUT |
| § trio-connect-send-right-x-recv |
genode: good x |
| § trio-connect-send-wrong-y-poll |
genode: good 0 | POLLOUT |
| § trio-connect-send-wrong-y-recv |
genode: bad recv?: ENOENT |
| § trio-connect-send-wrong-y-send-right-x-poll |
genode: bad 0 | POLLOUT |
| § trio-connect-send-wrong-y-send-right-x-recv |
genode: good x |
| § trio-send-right-x-poll |
genode: bad 0 | POLLOUT |
| § trio-send-right-x-recv |
genode: good x |
| § trio-send-right-x-send-wrong-y-poll |
genode: bad 0 | POLLOUT |
| § trio-send-right-x-send-wrong-y-recv |
genode: bad recv?: ENOENT |
| § trio-send-wrong-y-connect-poll |
genode: good 0 | POLLOUT |
| § trio-send-wrong-y-connect-recv |
genode: bad y |
| § trio-send-wrong-y-connect-send-right-x-poll |
genode: bad 0 | POLLOUT |
| § trio-send-wrong-y-connect-send-right-x-recv |
genode: bad y |
| § unconnect |
genode: good exit: 0 |
| § unconnect-getpeername |
genode: good getpeername: ENOTCONN |
| § unconnect-getsockname |
genode: unknown 0.0.0.0:0 |