./locksmith /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c


--------------------------------------------------------------------------------


gcc -D_GNUCC -E -DCIL=1 /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c -o /tmp/cil-GCU9gy_I.i
./cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-F3OEc3s6.cil.c /tmp/cil-GCU9gy_I.i

************************* STARTING *************************

/mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1635: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1635: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1635: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1658: Error: overwritting trylock-result
Fatal error: exception Locktype.TypingBug
