./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-data-race.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/floating_read-10.i


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Warning][Deadcode] Function "__VERIFIER_error" will never be called: 1LoC (includes/sv-comp.c:2:1-2:36)
[Warning][Deadcode] Function "__VERIFIER_assume" will never be called: 1LoC (includes/sv-comp.c:9:1-9:89)
[Warning][Deadcode] Function "__VERIFIER_nondet_bool" will never be called: 1LoC (includes/sv-comp.c:15:1-15:57)
[Warning][Deadcode] Function "__VERIFIER_nondet_char" will never be called: 1LoC (includes/sv-comp.c:16:1-16:55)
[Warning][Deadcode] Function "__VERIFIER_nondet_int" will never be called: 1LoC (includes/sv-comp.c:18:1-18:52)
[Warning][Deadcode] Function "__VERIFIER_nondet_float" will never be called: 1LoC (includes/sv-comp.c:19:1-19:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_double" will never be called: 1LoC (includes/sv-comp.c:20:1-20:61)
[Warning][Deadcode] Function "__VERIFIER_nondet_long" will never be called: 1LoC (includes/sv-comp.c:22:1-22:55)
[Warning][Deadcode] Function "__VERIFIER_nondet_pchar" will never be called: 1LoC (includes/sv-comp.c:23:1-23:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_short" will never be called: 1LoC (includes/sv-comp.c:26:1-26:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_uchar" will never be called: 1LoC (includes/sv-comp.c:29:1-29:74)
[Warning][Deadcode] Function "__VERIFIER_nondet_uint" will never be called: 1LoC (includes/sv-comp.c:30:1-30:71)
[Warning][Deadcode] Function "__VERIFIER_nondet_ulong" will never be called: 1LoC (includes/sv-comp.c:31:1-31:74)
[Warning][Deadcode] Function "__VERIFIER_nondet_unsigned" will never be called: 1LoC (includes/sv-comp.c:32:1-32:67)
[Warning][Deadcode] Function "__VERIFIER_nondet_ushort" will never be called: 1LoC (includes/sv-comp.c:33:1-33:77)
[Warning][Deadcode] Function "__VERIFIER_nondet_pointer" will never be called: 1LoC (includes/sv-comp.c:35:1-35:60)
[Warning][Deadcode] Function "reach_error" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/floating_read-10.i:16:1-16:151)
[Warning][Race] Memory location x@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/floating_read-10.i:710:10-710:11 (race with conf. 110):
  read with [region:{x},
           mhp:{tid=[main]; created={[main, thread@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/floating_read-10.i:724:5-724:48]}}, thread:[main]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/floating_read-10.i:726:6-726:16)
  write with [region:{x}, mhp:{tid=[main], {thread@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/floating_read-10.i:724:5-724:48}}, lock:{[__VERIFIER_atomic]}] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/floating_read-10.i:714:3-714:13)
  write with [region:{x}, mhp:{tid=[main, thread@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/floating_read-10.i:724:5-724:48]}, lock:{[__VERIFIER_atomic]}, thread:[main, thread@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/floating_read-10.i:724:5-724:48]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/floating_read-10.i:714:3-714:13)
SV-COMP result: unknown

Summary for all memory locations:
	safe:            0
	vulnerable:      0
	unsafe:          1
	-------------------
	total:           1
