./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.09.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.09.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.09.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.09.cil.c:108:5-115:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:141:3-153:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:176:3-188:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:211:3-223:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:246:3-258:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:281:3-293:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:316:3-328:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:351:3-363:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:386:3-398:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:421:3-431:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1396:3-1433: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.09.cil.c:22-22)
[Warning][Deadcode] Function 'fire_delta_events' has dead code:
  on line 923 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:923-923)
  on line 928 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:928-928)
  on line 933 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:933-933)
  on line 938 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:938-938)
  on line 943 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:943-943)
  on line 948 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:948-948)
  on line 953 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:953-953)
  on line 958 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:958-958)
  on line 963 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:963-963)
  on line 968 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:968-968)
  on line 973 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:973-973)
  on line 978 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:978-978)
  on line 983 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:983-983)
  on line 988 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:988-988)
  on line 993 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:993-993)
  on line 998 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:998-998)
  on line 1003 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1003-1003)
  on line 1008 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1008-1008)
  on line 1013 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1013-1013)
[Warning][Deadcode] Function 'init_threads' has dead code:
  on line 644 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:644-644)
  on line 649 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:649-649)
  on line 654 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:654-654)
  on line 659 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:659-659)
  on line 664 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:664-664)
  on line 669 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:669-669)
  on line 674 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:674-674)
  on line 679 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:679-679)
  on line 684 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:684-684)
  on line 689 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:689-689)
[Warning][Deadcode] Function 'reset_delta_events' has dead code:
  on line 1026 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1026-1026)
  on line 1031 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1031-1031)
  on line 1036 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1036-1036)
  on line 1041 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1041-1041)
  on line 1046 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1046-1046)
  on line 1051 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1051-1051)
  on line 1056 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1056-1056)
  on line 1061 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1061-1061)
  on line 1066 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1066-1066)
  on line 1071 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1071-1071)
  on line 1076 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1076-1076)
  on line 1081 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1081-1081)
  on line 1086 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1086-1086)
  on line 1091 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1091-1091)
  on line 1096 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1096-1096)
  on line 1101 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1101-1101)
  on line 1106 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1106-1106)
  on line 1111 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1111-1111)
  on line 1116 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1116-1116)
[Warning][Deadcode] Function 'reset_time_events' has dead code:
  on line 1251 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1251-1251)
  on line 1256 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1256-1256)
  on line 1261 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1261-1261)
  on line 1266 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1266-1266)
  on line 1271 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1271-1271)
  on line 1276 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1276-1276)
  on line 1281 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1281-1281)
  on line 1286 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1286-1286)
  on line 1291 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1291-1291)
  on line 1296 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1296-1296)
  on line 1301 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1301-1301)
  on line 1306 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1306-1306)
  on line 1311 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1311-1311)
  on line 1316 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1316-1316)
  on line 1321 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1321-1321)
  on line 1326 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1326-1326)
  on line 1331 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1331-1331)
  on line 1336 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1336-1336)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 415
  dead: 67
  total lines: 482
[Warning][Deadcode][CWE-571] condition 't8_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:681:7-681:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:316:10-316:11)
[Warning][Deadcode][CWE-571] condition 't9_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:686:7-686:16)
[Warning][Deadcode][CWE-570] condition 'M_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:922:7-922:15)
[Warning][Deadcode][CWE-571] condition 't2_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:168:9-168:19)
[Warning][Deadcode][CWE-570] condition 'T1_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:927:7-927:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1396:10-1396:11)
[Warning][Deadcode][CWE-570] condition 'T2_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:932:7-932:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:176:10-176:11)
[Warning][Deadcode][CWE-571] condition 't7_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:343:9-343:19)
[Warning][Deadcode][CWE-570] condition 'T3_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:937:7-937:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:942:7-942:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:351:10-351:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:211:10-211:11)
[Warning][Deadcode][CWE-570] condition 'T5_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:947:7-947:16)
[Warning][Deadcode][CWE-570] condition 'T6_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:952:7-952:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:386:10-386:11)
[Warning][Deadcode][CWE-570] condition 'T7_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:957:7-957:16)
[Warning][Deadcode][CWE-570] condition 'T8_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:962:7-962:16)
[Warning][Deadcode][CWE-570] condition 'T9_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:967:7-967:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1396:10-1396:11)
[Warning][Deadcode][CWE-570] condition 'E_1 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:972:7-972:15)
[Warning][Deadcode][CWE-571] condition 't4_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:238:9-238:19)
[Warning][Deadcode][CWE-570] condition 'E_2 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:977:7-977:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:246:10-246:11)
[Warning][Deadcode][CWE-570] condition 'E_3 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:982:7-982:15)
[Warning][Deadcode][CWE-571] condition 't9_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:413:9-413:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:108:12-108:13)
[Warning][Deadcode][CWE-570] condition 'E_4 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:987:7-987:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:421:10-421:11)
[Warning][Deadcode][CWE-570] condition 'E_5 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:992:7-992:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:281:10-281:11)
[Warning][Deadcode][CWE-571] condition 'M_E == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1245:7-1245:15)
[Warning][Deadcode][CWE-570] condition 'E_6 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:997:7-997:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1250:7-1250:16)
[Warning][Deadcode][CWE-570] condition 'E_7 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1002:7-1002:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:761:10-761:11)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1255:7-1255:16)
[Warning][Deadcode][CWE-570] condition 'E_8 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1007:7-1007:15)
[Warning][Deadcode][CWE-571] condition 't1_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:133:9-133:19)
[Warning][Deadcode][CWE-571] condition 'm_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:92:9-92:18)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1260:7-1260:16)
[Warning][Deadcode][CWE-570] condition 'E_9 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1012:7-1012:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:141:10-141:11)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1265:7-1265:16)
[Warning][Deadcode][CWE-570] condition 'M_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1025:7-1025:15)
[Warning][Deadcode][CWE-571] condition 't6_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:308:9-308:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:100:10-100:11)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1270:7-1270:16)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1030:7-1030:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:316:10-316:11)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1275:7-1275:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1035:7-1035:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:176:10-176:11)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1280:7-1280:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:108:12-108:13)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1040:7-1040:16)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1285:7-1285:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1045:7-1045:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:351:10-351:11)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1290:7-1290:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1050:7-1050:16)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1295:7-1295:15)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1055:7-1055:16)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1300:7-1300:15)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1060:7-1060:16)
[Warning][Deadcode][CWE-571] condition 'm_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:641:7-641:15)
[Warning][Deadcode][CWE-571] condition 't3_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:203:9-203:19)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1305:7-1305:15)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1065:7-1065:16)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1310:7-1310:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:211:10-211:11)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1070:7-1070:16)
[Warning][Deadcode][CWE-571] condition 't1_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:646:7-646:16)
[Warning][Deadcode][CWE-571] condition 't8_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:378:9-378:19)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1315:7-1315:15)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1075:7-1075:15)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1320:7-1320:15)
[Warning][Deadcode][CWE-571] condition 't2_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:651:7-651:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:386:10-386:11)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1080:7-1080:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:246:10-246:11)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1325:7-1325:15)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1085:7-1085:15)
[Warning][Deadcode][CWE-571] condition 't3_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:656:7-656:16)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1330:7-1330:15)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1090:7-1090:15)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1335:7-1335:15)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1095:7-1095:15)
[Warning][Deadcode][CWE-571] condition 't4_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:661:7-661:16)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1100:7-1100:15)
[Warning][Deadcode][CWE-571] condition 't5_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:666:7-666:16)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1105:7-1105:15)
[Warning][Deadcode][CWE-571] condition 't5_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:273:9-273:19)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1110:7-1110:15)
[Warning][Deadcode][CWE-571] condition 't6_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:671:7-671:16)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:1115:7-1115:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:281:10-281:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:141:10-141:11)
[Warning][Deadcode][CWE-571] condition 't7_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.09.cil.c:676:7-676:16)
[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
