./sv-sanitizers.py -j 8 --property /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --data-model ILP32 /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race-4.i


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


/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race-4.i:141:15: warning: conflicting types for built-in function ‘strftime’; expected ‘long unsigned int(char *, long unsigned int,  const char *, const void *)’ [-Wbuiltin-declaration-mismatch]
  141 | extern size_t strftime (char *__restrict __s, size_t __maxsize,
      |               ^~~~~~~~
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race-4.i:1: note: ‘strftime’ is declared in header ‘<time.h>’
    1 | typedef unsigned char __u_char;
...................