./goblint --conf conf/examples/large-program.json --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --disable witness.graphml.enabled --set 'lib.activated[+]' zlib --set 'lib.activated[+]' pcre --set 'lib.activated[+]' liblzma --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
Option warning: ana.base.context.int implicitly disabled by ana.base.context.non-ptr
Option warning: ana.base.context.interval implicitly disabled by ana.base.context.int
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4625:11-4625:48!

runtime: 00:00:04.156
vars: 7091, evals: 27622

|rho|=7091
|stable|=6491
|infl|=7082
|wpoint|=144
|sides|=725
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=5632
|called|=19
Found 231 contexts for 56 functions. Top 5 functions:
57	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
17	contexts for L:entry state of ftp_command (1672) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3576:1-3602:1
15	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
11	contexts for L:entry state of http_addheader (1721) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4008:1-4027:1
10	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=11535.66MB, max=57.06MB, minor=11531.96MB, major=130.43MB, promoted=126.74MB
    minor collections=5506  major collections=15 compactions=0


Fatal error: exception Invalid_argument("Cilfacade.get_ikind: non-integer type double ")
