./esbmc-wrapper.py -p /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp -s kinduction --arch 64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c


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


