[ 0:01] compiling /home/xrockai/src/divine/nightly/test/posix/fs-socket-01.valid.c
[ 0:01] /home/xrockai/src/divine/nightly/test/posix/fs-socket-01.valid.c:25:23: warning: incompatible pointer types passing 'struct sockaddr_un *' to parameter of type 'const struct sockaddr *'
[ 0:01]     r = bind( server, &Saddr, len );
[ 0:01]                       ^~~~~~
[ 0:01] /dios/include/sys/socket.h:301:53: note: passing argument to parameter 'addr' here
[ 0:01] __noinline int bind( int fd, const struct sockaddr *addr, socklen_t len ) __nothrow;
[ 0:01]                                                     ^
[ 0:01] /home/xrockai/src/divine/nightly/test/posix/fs-socket-01.valid.c:31:26: warning: incompatible pointer types passing 'struct sockaddr_un *' to parameter of type 'const struct sockaddr *'
[ 0:01]     r = connect( client, &Saddr, len );
[ 0:01]                          ^~~~~~
[ 0:01] /dios/include/sys/socket.h:308:56: note: passing argument to parameter 'addr' here
[ 0:01] __noinline int connect( int fd, const struct sockaddr *addr, socklen_t len ) __nothrow;
[ 0:01]                                                        ^
[ 0:01] /home/xrockai/src/divine/nightly/test/posix/fs-socket-01.valid.c:34:32: warning: incompatible pointer types passing 'struct sockaddr_un *' to parameter of type 'struct sockaddr *'
[ 0:01]     int Send = accept( server, &Caddr, &len );
[ 0:01]                                ^~~~~~
[ 0:01] /dios/include/sys/socket.h:380:50: note: passing argument to parameter 'addr' here
[ 0:01] __noinline int accept( int fd, struct sockaddr * addr,  socklen_t * addr_len ) __nothrow;
[ 0:01]                                                  ^
[ 0:01] 3 warnings generated.
[ 0:01] states per second: 58.3942
[ 0:03] state count: 8
[ 0:03] mips: 0.34
[ 0:03] error found: no
[ 0:03] a report was written to verify.out