./goblint --conf conf/svcomp.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/kona/main.c


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


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

  Context : 2cil: __bswap_64
Unimplemented: Cannot represent the integer 13043109905998158313

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6908: Error: global initializer
error in createGlobal(mag01: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6908): GoblintCil__Errormsg.ErrorUnimplemented: Cannot represent the integer 18446744071562067968

  Context : 2cil: genrand64_int64
Unimplemented: Cannot represent the integer 18446744071562067968

  Context : 2cil: genrand64_int64
Unimplemented: Cannot represent the integer 18446744071562067968

  Context : 2cil: genrand64_int64
Unimplemented: Cannot represent the integer 18444473444759240704

  Context : 2cil: genrand64_int64
Unimplemented: Cannot represent the integer 18446744073709551360

  Context : 2cil: slsz
Unimplemented: Cannot represent the integer 9223372036854775808

  Context : 2cil: ItoU
Error: There were parsing errors in /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c
Fatal error: exception Goblint_lib__Maingoblint.FrontendError("Errormsg.Error")
