[ 0:00] compiling /home/xrockai/src/divine/nightly/test/posix/longjmp-complex.c
[ 0:00] /home/xrockai/src/divine/nightly/test/posix/longjmp-complex.c:9:27: warning: GCC does not allow '__noinline__' attribute in this position on a function definition
[ 0:00] void bar() __attribute__((__noinline__)) {
[ 0:00]                           ^
[ 0:00] /home/xrockai/src/divine/nightly/test/posix/longjmp-complex.c:14:27: warning: GCC does not allow '__noinline__' attribute in this position on a function definition
[ 0:00] void foo() __attribute__((__noinline__)) {
[ 0:00]                           ^
[ 0:00] 2 warnings generated.
[ 0:00] states per second: 2.12947
[ 0:15] state count: 5
[ 0:15] mips: 0.43
[ 0:15] error found: no
[ 0:15] a report was written to verify.out