./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/pigz/main.c


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


/usr/bin/ld: /tmp/ccHzrto2.o: in function `adler32z':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1080: undefined reference to `adler32'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1084: undefined reference to `adler32'
/usr/bin/ld: /tmp/ccHzrto2.o: in function `crc32z':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1101: undefined reference to `crc32'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1105: undefined reference to `crc32'
/usr/bin/ld: /tmp/ccHzrto2.o: in function `zlib_vernum':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1120: undefined reference to `zlibVersion'
/usr/bin/ld: /tmp/ccHzrto2.o: in function `deflate_engine':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1465: undefined reference to `deflate'
/usr/bin/ld: /tmp/ccHzrto2.o: in function `compress_thread':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1560: undefined reference to `deflateInit2_'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1584: undefined reference to `deflateReset'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1585: undefined reference to `deflateParams'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1597: undefined reference to `deflateSetDictionary'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1674: undefined reference to `deflatePending'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1683: undefined reference to `deflatePrime'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1687: undefined reference to `deflatePending'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1715: undefined reference to `ZopfliDeflatePart'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:1850: undefined reference to `deflateEnd'
/usr/bin/ld: /tmp/ccHzrto2.o: in function `single_compress':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2337: undefined reference to `deflateEnd'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2363: undefined reference to `deflateInit2_'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2373: undefined reference to `deflateReset'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2374: undefined reference to `deflateParams'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2473: undefined reference to `deflateReset'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2488: undefined reference to `deflate'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2522: undefined reference to `deflate'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2534: undefined reference to `deflatePending'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2544: undefined reference to `deflate'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2559: undefined reference to `deflatePrime'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2563: undefined reference to `deflatePending'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2572: undefined reference to `deflate'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2590: undefined reference to `deflate'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2608: undefined reference to `deflate'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2626: undefined reference to `deflate'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:2655: undefined reference to `ZopfliDeflatePart'
/usr/bin/ld: /tmp/ccHzrto2.o: in function `infchk':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:5894: undefined reference to `inflateBackInit_'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:5903: undefined reference to `inflateBack'
/usr/bin/ld: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:5904: undefined reference to `inflateBackEnd'
/usr/bin/ld: /tmp/ccHzrto2.o: in function `defaults':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:7929: undefined reference to `ZopfliInitOptions'
/usr/bin/ld: /tmp/ccHzrto2.o: in function `option':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:8176: undefined reference to `zlibVersion'
/usr/bin/ld: /tmp/ccHzrto2.o: in function `main':
/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/pigz/main.c:8412: undefined reference to `get_crc_table'
collect2: error: ld returned 1 exit status
Traceback (most recent call last):
  File "/mnt/goblint-svcomp/benchexec/tools-pldi/sv-sanitizers/./sv-sanitizers.py", line 212, in <module>
    asyncio.run(main())
  File "/usr/lib/python3.10/asyncio/runners.py", line 44, in run
    return loop.run_until_complete(main)
  File "/usr/lib/python3.10/asyncio/base_events.py", line 649, in run_until_complete
    return future.result()
  File "/mnt/goblint-svcomp/benchexec/tools-pldi/sv-sanitizers/./sv-sanitizers.py", line 204, in main
    executable = await compile(args)
  File "/mnt/goblint-svcomp/benchexec/tools-pldi/sv-sanitizers/./sv-sanitizers.py", line 65, in compile
    raise RuntimeError("compile error")
RuntimeError: compile error
