./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/lmdb/main.c


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


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

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

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

  Context : 2cil: mdb_cursor_put
Unimplemented: Cannot represent the integer 18446744073709551614

  Context : 2cil: mdb_cursor_put
Unimplemented: Cannot represent the integer 18446744073709551614

  Context : 2cil: mdb_leaf_size
Unimplemented: Cannot represent the integer 18446744073709551614

  Context : 2cil: mdb_node_add
Unimplemented: Cannot represent the integer 18446744073709551614

  Context : 2cil: mdb_node_add
Unimplemented: Cannot represent the integer 18446744073709551614

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

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

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

  Context : 2cil: mdb_env_copyfd1
Error: There were errors during merging

Fatal error: exception GoblintCil__Errormsg.Error
