./esbmc-wrapper.py -p /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp -s kinduction --arch 32 /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-struct-tid-join.i


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


Verifying with ESBMC
Command: ./esbmc --no-div-by-zero-check --force-malloc-success --state-hashing --add-symex-value-sets --no-align-check --k-step 2 --floatbv --unlimited-k-steps --no-vla-size-check /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-struct-tid-join.i --32  --no-por --context-bound 2 --witness-output witness.graphml --no-pointer-check --no-bounds-check --data-races-check --no-assertions --incremental-bmc 
ESBMC version 7.4.0 64-bit x86_64 linux
Target: 32-bit little-endian x86_64-unknown-linux with esbmclibc
Parsing /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-struct-tid-join.i
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-struct-tid-join.i:434:33: error: use of undeclared identifier '__builtin_free'
    __attribute__ ((__malloc__ (__builtin_free, 1)));
                                ^
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-struct-tid-join.i:436:63: error: '__malloc__' attribute takes no arguments
     __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__malloc__ (reallocarray, 1)));
                                                              ^
ERROR: PARSING ERROR

Unknown
