./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/transmitter.08.cil.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/transmitter.08.cil.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:102:5-109:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:135:3-147:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:170:3-182:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:205:3-217:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:240:3-252:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:275:3-287:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:310:3-322:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:345:3-357:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:380:3-390:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1272:3-1309:3 with factor 1
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Info][Witness] cannot unassume entry of type violation_sequence
[Warning][Deadcode] Function 'error' has dead code:
  on line 22 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:22-22)
[Warning][Deadcode] Function 'fire_delta_events' has dead code:
  on line 839 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:839-839)
  on line 844 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:844-844)
  on line 849 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:849-849)
  on line 854 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:854-854)
  on line 859 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:859-859)
  on line 864 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:864-864)
  on line 869 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:869-869)
  on line 874 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:874-874)
  on line 879 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:879-879)
  on line 884 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:884-884)
  on line 889 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:889-889)
  on line 894 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:894-894)
  on line 899 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:899-899)
  on line 904 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:904-904)
  on line 909 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:909-909)
  on line 914 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:914-914)
  on line 919 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:919-919)
[Warning][Deadcode] Function 'init_threads' has dead code:
  on line 584 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:584-584)
  on line 589 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:589-589)
  on line 594 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:594-594)
  on line 599 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:599-599)
  on line 604 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:604-604)
  on line 609 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:609-609)
  on line 614 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:614-614)
  on line 619 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:619-619)
  on line 624 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:624-624)
[Warning][Deadcode] Function 'reset_delta_events' has dead code:
  on line 932 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:932-932)
  on line 937 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:937-937)
  on line 942 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:942-942)
  on line 947 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:947-947)
  on line 952 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:952-952)
  on line 957 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:957-957)
  on line 962 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:962-962)
  on line 967 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:967-967)
  on line 972 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:972-972)
  on line 977 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:977-977)
  on line 982 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:982-982)
  on line 987 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:987-987)
  on line 992 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:992-992)
  on line 997 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:997-997)
  on line 1002 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1002-1002)
  on line 1007 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1007-1007)
  on line 1012 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1012-1012)
[Warning][Deadcode] Function 'reset_time_events' has dead code:
  on line 1138 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1138-1138)
  on line 1143 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1143-1143)
  on line 1148 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1148-1148)
  on line 1153 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1153-1153)
  on line 1158 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1158-1158)
  on line 1163 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1163-1163)
  on line 1168 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1168-1168)
  on line 1173 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1173-1173)
  on line 1178 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1178-1178)
  on line 1183 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1183-1183)
  on line 1188 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1188-1188)
  on line 1193 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1193-1193)
  on line 1198 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1198-1198)
  on line 1203 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1203-1203)
  on line 1208 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1208-1208)
  on line 1213 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1213-1213)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 380
  dead: 60
  total lines: 440
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1001:7-1001:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:310:10-310:11)
[Warning][Deadcode][CWE-571] condition 'm_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:581:7-581:15)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1006:7-1006:15)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1011:7-1011:15)
[Warning][Deadcode][CWE-571] condition 't1_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:586:7-586:16)
[Warning][Deadcode][CWE-571] condition 't2_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:162:9-162:19)
[Warning][Deadcode][CWE-571] condition 't2_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:591:7-591:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1272:10-1272:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:170:10-170:11)
[Warning][Deadcode][CWE-571] condition 't7_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:337:9-337:19)
[Warning][Deadcode][CWE-571] condition 't3_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:596:7-596:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:345:10-345:11)
[Warning][Deadcode][CWE-571] condition 't4_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:601:7-601:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:205:10-205:11)
[Warning][Deadcode][CWE-571] condition 't5_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:606:7-606:16)
[Warning][Deadcode][CWE-571] condition 't6_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:611:7-611:16)
[Warning][Deadcode][CWE-570] condition 'M_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:838:7-838:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:843:7-843:16)
[Warning][Deadcode][CWE-571] condition 't7_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:616:7-616:16)
[Warning][Deadcode][CWE-571] condition 't4_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:232:9-232:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1272:10-1272:11)
[Warning][Deadcode][CWE-570] condition 'T2_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:848:7-848:16)
[Warning][Deadcode][CWE-571] condition 't8_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:621:7-621:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:240:10-240:11)
[Warning][Deadcode][CWE-570] condition 'T3_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:853:7-853:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:102:12-102:13)
[Warning][Deadcode][CWE-570] condition 'T4_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:858:7-858:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:863:7-863:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:275:10-275:11)
[Warning][Deadcode][CWE-570] condition 'T6_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:868:7-868:16)
[Warning][Deadcode][CWE-570] condition 'T7_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:873:7-873:16)
[Warning][Deadcode][CWE-570] condition 'T8_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:878:7-878:16)
[Warning][Deadcode][CWE-571] condition 't1_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:127:9-127:19)
[Warning][Deadcode][CWE-570] condition 'E_1 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:883:7-883:15)
[Warning][Deadcode][CWE-571] condition 'm_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:86:9-86:18)
[Warning][Deadcode][CWE-571] condition 'M_E == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1132:7-1132:15)
[Warning][Deadcode][CWE-570] condition 'E_2 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:888:7-888:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:135:10-135:11)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1137:7-1137:16)
[Warning][Deadcode][CWE-571] condition 't6_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:302:9-302:19)
[Warning][Deadcode][CWE-570] condition 'E_3 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:893:7-893:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:94:10-94:11)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1142:7-1142:16)
[Warning][Deadcode][CWE-570] condition 'E_4 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:898:7-898:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:310:10-310:11)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1147:7-1147:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:170:10-170:11)
[Warning][Deadcode][CWE-570] condition 'E_5 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:903:7-903:15)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1152:7-1152:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:102:12-102:13)
[Warning][Deadcode][CWE-570] condition 'E_6 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:908:7-908:15)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1157:7-1157:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:345:10-345:11)
[Warning][Deadcode][CWE-570] condition 'E_7 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:913:7-913:15)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1162:7-1162:16)
[Warning][Deadcode][CWE-570] condition 'E_8 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:918:7-918:15)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1167:7-1167:16)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1172:7-1172:16)
[Warning][Deadcode][CWE-570] condition 'M_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:931:7-931:15)
[Warning][Deadcode][CWE-571] condition 't3_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:197:9-197:19)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1177:7-1177:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:936:7-936:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:691:10-691:11)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1182:7-1182:15)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:941:7-941:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:205:10-205:11)
[Warning][Deadcode][CWE-571] condition 't8_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:372:9-372:19)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1187:7-1187:15)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:946:7-946:16)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1192:7-1192:15)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:951:7-951:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:380:10-380:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:240:10-240:11)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1197:7-1197:15)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:956:7-956:16)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1202:7-1202:15)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:961:7-961:16)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1207:7-1207:15)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:966:7-966:16)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:1212:7-1212:15)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:971:7-971:16)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:976:7-976:15)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:981:7-981:15)
[Warning][Deadcode][CWE-571] condition 't5_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:267:9-267:19)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:986:7-986:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:275:10-275:11)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:991:7-991:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:135:10-135:11)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.08.cil.c:996:7-996:15)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 0
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 0
SV-COMP result: unknown
