[ 0:01] compiling /home/xrockai/src/divine/nightly/test/posix/3.fs-socket-01.valid.c [ 0:01] /home/xrockai/src/divine/nightly/test/posix/3.fs-socket-01.valid.c:24: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] /divine/include/libc/include/sys/socket.h:297:54: note: passing argument to parameter 'addr' here [ 0:01] FS_NOINLINE int bind( int fd, const struct sockaddr *addr, socklen_t len ); [ 0:01] ^ [ 0:01] /home/xrockai/src/divine/nightly/test/posix/3.fs-socket-01.valid.c:30: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] /divine/include/libc/include/sys/socket.h:304:57: note: passing argument to parameter 'addr' here [ 0:01] FS_NOINLINE int connect( int fd, const struct sockaddr *addr, socklen_t len ); [ 0:01] ^ [ 0:01] /home/xrockai/src/divine/nightly/test/posix/3.fs-socket-01.valid.c:33: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] /divine/include/libc/include/sys/socket.h:376:51: note: passing argument to parameter 'addr' here [ 0:01] FS_NOINLINE int accept( int fd, struct sockaddr * addr, socklen_t * addr_len ); [ 0:01] ^ [ 0:01] 3 warnings generated. [ 0:01] states per second: 7.06956 [ 0:19] state count: 31 [ 0:19] mips: 0.35 [ 0:19] error found: no [ 0:19] a report was written to verify.out