./locksmith /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/axel/main.c


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


gcc -D_GNUCC -E -DCIL=1 /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/axel/main.c -o /tmp/cil-61RF7TK8.i
./cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-Wjg4r5S6.cil.c /tmp/cil-61RF7TK8.i

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

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