./goblint --conf conf/svcomp23.json --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/minimap2/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
Unimplemented: Cannot represent the integer 18446744073709551615

  Context : 2cil: mm_idx_build
/mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:13258: Warning: Body of function ks_ksmall_heap falls-through and cannot find an appropriate return value
Unimplemented: Cannot represent the integer 18446744069414584320

  Context : 2cil: collect_seed_hits_heap
Unimplemented: Cannot represent the integer 18446744069414584320

  Context : 2cil: collect_seed_hits_heap
Unimplemented: Cannot represent the integer 18446744069414584320

  Context : 2cil: collect_seed_hits
Unimplemented: Cannot represent the integer 18446744069414584320

  Context : 2cil: collect_seed_hits
Unimplemented: Cannot represent the integer 18446744069414584320

  Context : 2cil: collect_seed_hits
Unimplemented: Cannot represent the integer 18446744073709551615

  Context : 2cil: mm_sketch
Unimplemented: Cannot represent the integer 18446744073709551615

  Context : 2cil: mm_sketch
Unimplemented: Cannot represent the integer 18446744073709551615

  Context : 2cil: mm_sketch
Unimplemented: Cannot represent the integer 18446744073709551615

  Context : 2cil: mm_sketch
Unimplemented: Cannot represent the integer 18446744073709551615

  Context : 2cil: mm_sketch
Unimplemented: Cannot represent the integer 18446744073709551615

  Context : 2cil: mm_sketch
Unimplemented: Cannot represent the integer 18446744073709551615

  Context : 2cil: mm_sketch
Unimplemented: Cannot represent the integer 18446744073709551615

  Context : 2cil: mm_sketch
Unimplemented: Cannot represent the integer 18446744073709551615

  Context : 2cil: mm_sketch
Unimplemented: Cannot represent the integer 18446744073709551615

  Context : 2cil: mm_sketch
/mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:822: Warning: def'n of func bsearch at /mnt/goblint-svcomp/goblint-bench/bench/concrat/minimap2/main.c:822 (sum 90592995) conflicts with the one at lib/libc/stub/src/stdlib.c:38 (sum 1086600); keeping the one at lib/libc/stub/src/stdlib.c:38.
Error: There were errors during merging

Fatal error: exception GoblintCil__Errormsg.Error
