./goblint --conf conf/examples/large-program.json --enable ana.context.widen --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --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:09.183
vars: 7091, evals: 45960

|rho|=7091
|stable|=6461
|infl|=7083
|wpoint|=193
|sides|=726
|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=26803.04MB, max=99.81MB, minor=26799.30MB, major=420.82MB, promoted=417.08MB
    minor collections=12791  major collections=27 compactions=0


Fatal error: exception Invalid_argument("Cilfacade.get_fkind: non-float type int ")
