gib# out run test/svcomp/pthread/szymanski.chk.c
gib# cmd /usr/bin/env
gib#     srcdir=/home/xrockai/src/divine/nightly
gib#     PATH=/home/xrockai/src/divine/nightly/test/lib:/usr/bin:/bin:/opt/klee/bin
gib#     sh
gib#     /home/xrockai/src/divine/nightly/test/lib/check
gib#     test/svcomp/pthread/szymanski.chk.c
expect --result valid
cc     -o test.bc   /home/xrockai/src/divine/nightly/test/svcomp/pthread/szymanski.chk.c
verify   test.bc

compiling /home/xrockai/src/divine/nightly/test/svcomp/pthread/szymanski.chk.c
/home/xrockai/src/divine/nightly/test/svcomp/pthread/szymanski.chk.c:32:1: warning: non-void function does not return a value
}
^
/home/xrockai/src/divine/nightly/test/svcomp/pthread/szymanski.chk.c:50:1: warning: non-void function does not return a value
}
^
2 warnings generated.
loading bitcode … DiOS … LART … RR … constants … done
booting … done
states per second: 460.227
state count: 3940
mips: 0.22
error found: no