./goblint --enable dbg.warn_with_context --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.589
vars: 7283, evals: 29386

|rho|=7283
|stable|=6666
|infl|=7274
|wpoint|=148
|sides|=733
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=5808
|called|=19
Found 239 contexts for 56 functions. Top 5 functions:
65	contexts for L:entry state of strlcpy (1102) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
17	contexts for L:entry state of ftp_command (1662) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3576:1-3602:1
15	contexts for L:entry state of tcp_read (1116) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
11	contexts for L:entry state of http_addheader (1711) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4008:1-4027:1
10	contexts for L:entry state of strlcat (905) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=12276.84MB, max=65.62MB, minor=12273.46MB, major=144.88MB, promoted=141.50MB
    minor collections=5860  major collections=16 compactions=0


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