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


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


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

  Context : 2cil: strm_funcall
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1746: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18443366373989023744

  Context : 2cil: strm_funcall
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1750: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445899648779419648

  Context : 2cil: strm_funcall
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1753: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445899648779419648

  Context : 2cil: strm_time_p
Unimplemented: Cannot represent the integer 18445899648779419648

  Context : 2cil: strm_ptr_value
Unimplemented: Cannot represent the integer 18445336698825998336

  Context : 2cil: strm_cfunc_value
Unimplemented: Cannot represent the integer 18442521949058891776

  Context : 2cil: strm_bool_value
Unimplemented: Cannot represent the integer 18442803424035602432

  Context : 2cil: strm_int_value
Unimplemented: Cannot represent the integer 18442240474082181120

  Context : 2cil: strm_float_value
Unimplemented: Cannot represent the integer 18446462598732840960

  Context : 2cil: strm_foreign_value
Unimplemented: Cannot represent the integer 18445899648779419648

  Context : 2cil: strm_value_ptr
Unimplemented: Cannot represent the integer 18446462598732840960

  Context : 2cil: strm_value_foreign
Unimplemented: Cannot represent the integer 18445899648779419648

  Context : 2cil: strm_value_bool
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6796: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18442521949058891776

  Context : 2cil: strm_value_bool
Unimplemented: Cannot represent the integer 18442803424035602432

  Context : 2cil: strm_int_p
Unimplemented: Cannot represent the integer 18442240474082181120

  Context : 2cil: strm_float_p
Unimplemented: Cannot represent the integer 18442240474082181120

  Context : 2cil: strm_float_p
Unimplemented: Cannot represent the integer 18442240474082181120

  Context : 2cil: strm_float_p
Unimplemented: Cannot represent the integer 18442803424035602432

  Context : 2cil: strm_value_int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6860: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18442803424035602432

  Context : 2cil: strm_value_int
Unimplemented: Cannot represent the integer 18445336698825998336

  Context : 2cil: strm_value_cfunc
Unimplemented: Cannot represent the integer 18442521949058891776

  Context : 2cil: strm_bool_p
Unimplemented: Cannot represent the integer 18445899648779419648

  Context : 2cil: strm_nil_p
Unimplemented: Cannot represent the integer 18445336698825998336

  Context : 2cil: strm_cfunc_p
Unimplemented: Cannot represent the integer 18445899648779419648

  Context : 2cil: strm_ptr_tag_p
Unimplemented: Cannot represent the integer 18443647848965734400

  Context : 2cil: strm_value_eq
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7000: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445055223849287680

  Context : 2cil: strm_value_eq
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7004: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445336698825998336

  Context : 2cil: strm_value_eq
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7008: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445899648779419648

  Context : 2cil: strm_value_eq
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7013: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18442803424035602432

  Context : 2cil: strm_to_str
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7458: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18442521949058891776

  Context : 2cil: strm_to_str
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7463: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445336698825998336

  Context : 2cil: strm_to_str
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7473: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445055223849287680

  Context : 2cil: strm_to_str
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7479: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18443647848965734400

  Context : 2cil: strm_to_str
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7484: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445899648779419648

  Context : 2cil: strm_to_str
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:7488: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445899648779419648

  Context : 2cil: strm_nil_value
Unimplemented: Cannot represent the integer 18445899648779419648

  Context : 2cil: strm_value_ns
Unimplemented: Cannot represent the integer 18444210798919155712

  Context : 2cil: str_new
Unimplemented: Cannot represent the integer 18444492273895866368

  Context : 2cil: str_new
Unimplemented: Cannot represent the integer 18445055223849287680

  Context : 2cil: str_new
Unimplemented: Cannot represent the integer 18445055223849287680

  Context : 2cil: str_new
Unimplemented: Cannot represent the integer 18444773748872577024

  Context : 2cil: str_new
Unimplemented: Cannot represent the integer 18445055223849287680

  Context : 2cil: strm_str_intern_p
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16026: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445055223849287680

  Context : 2cil: strm_str_eq
Unimplemented: Cannot represent the integer 18445055223849287680

  Context : 2cil: strm_str_eq
Unimplemented: Cannot represent the integer 18444773748872577024

  Context : 2cil: strm_str_p
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16074: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18444210798919155712

  Context : 2cil: strm_strp_ptr
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16090: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18444492273895866368

  Context : 2cil: strm_strp_ptr
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16092: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445055223849287680

  Context : 2cil: strm_strp_ptr
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16094: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18444210798919155712

  Context : 2cil: strm_str_cstr
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16110: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18444492273895866368

  Context : 2cil: strm_str_cstr
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16116: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445055223849287680

  Context : 2cil: strm_str_cstr
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16120: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18444210798919155712

  Context : 2cil: strm_str_len
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16135: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18444492273895866368

  Context : 2cil: strm_str_len
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16137: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445055223849287680

  Context : 2cil: strm_str_len
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16139: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18445055223849287680

  Context : 2cil: strm_string_p
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16154: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18443647848965734400

  Context : 2cil: strm_array_p
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16489: Error: Case statement with a non-constant
Error in doStatement (GoblintCil__Errormsg.Error)
Unimplemented: Cannot represent the integer 18443366373989023744

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