./sv-sanitizers.py -j 8 --property /mnt/goblint-svcomp/goblint-bench/the-continuous-race/properties/no-data-race.prp --data-model LP64 /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/libfaketime/main.c


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


/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/libfaketime/main.c: In function ‘main’:
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/libfaketime/main.c:484:3: warning: ‘ftime’ is deprecated [-Wdeprecated-declarations]
  484 |   ftime(& tb);
      |   ^~~~~
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/libfaketime/main.c:277:46: note: declared here
  277 | extern int ( __attribute__((__nonnull__(1))) ftime)(struct timeb *__timebuf )  __attribute__((__deprecated__)) ;
      |                                              ^~~~~
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................