[ 0:00] compiling /home/xrockai/src/divine/nightly/test/undef/2.undef.26-valid.c
[ 0:00] /home/xrockai/src/divine/nightly/test/undef/2.undef.26-valid.c:7:9: warning: implicitly declaring library function 'memcpy' with type 'void *(void *, const void *, unsigned long)'
[ 0:00]         memcpy( mem, &x, sizeof( int ));
[ 0:00]         ^
[ 0:00] /home/xrockai/src/divine/nightly/test/undef/2.undef.26-valid.c:7:9: note: include the header <string.h> or explicitly provide a declaration for 'memcpy'
[ 0:00] 1 warning generated.
[ 0:00] states per second: 2.43754
[ 0:15] state count: 4
[ 0:15] mips: 0.36
[ 0:15] error found: no
[ 0:15] a report was written to verify.out