./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.11.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.11.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.11.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.11.cil.c:120:5-127:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:153:3-165:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:188:3-200:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:223:3-235:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:258:3-270:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:293:3-305:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:328:3-340:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:363:3-375:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:398:3-410:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:433:3-445:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:468:3-480:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:503:3-513:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1644:3-1681: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.11.cil.c:22-22)
[Warning][Deadcode] Function 'fire_delta_events' has dead code:
  on line 1091 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1091-1091)
  on line 1096 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1096-1096)
  on line 1101 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1101-1101)
  on line 1106 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1106-1106)
  on line 1111 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1111-1111)
  on line 1116 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1116-1116)
  on line 1121 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1121-1121)
  on line 1126 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1126-1126)
  on line 1131 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1131-1131)
  on line 1136 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1136-1136)
  on line 1141 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1141-1141)
  on line 1146 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1146-1146)
  on line 1151 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1151-1151)
  on line 1156 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1156-1156)
  on line 1161 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1161-1161)
  on line 1166 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1166-1166)
  on line 1171 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1171-1171)
  on line 1176 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1176-1176)
  on line 1181 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1181-1181)
  on line 1186 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1186-1186)
  on line 1191 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1191-1191)
  on line 1196 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1196-1196)
  on line 1201 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1201-1201)
[Warning][Deadcode] Function 'init_threads' has dead code:
  on line 764 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:764-764)
  on line 769 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:769-769)
  on line 774 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:774-774)
  on line 779 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:779-779)
  on line 784 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:784-784)
  on line 789 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:789-789)
  on line 794 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:794-794)
  on line 799 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:799-799)
  on line 804 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:804-804)
  on line 809 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:809-809)
  on line 814 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:814-814)
  on line 819 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:819-819)
[Warning][Deadcode] Function 'reset_delta_events' has dead code:
  on line 1214 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1214-1214)
  on line 1219 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1219-1219)
  on line 1224 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1224-1224)
  on line 1229 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1229-1229)
  on line 1234 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1234-1234)
  on line 1239 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1239-1239)
  on line 1244 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1244-1244)
  on line 1249 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1249-1249)
  on line 1254 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1254-1254)
  on line 1259 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1259-1259)
  on line 1264 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1264-1264)
  on line 1269 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1269-1269)
  on line 1274 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1274-1274)
  on line 1279 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1279-1279)
  on line 1284 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1284-1284)
  on line 1289 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1289-1289)
  on line 1294 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1294-1294)
  on line 1299 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1299-1299)
  on line 1304 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1304-1304)
  on line 1309 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1309-1309)
  on line 1314 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1314-1314)
  on line 1319 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1319-1319)
  on line 1324 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1324-1324)
[Warning][Deadcode] Function 'reset_time_events' has dead code:
  on line 1477 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1477-1477)
  on line 1482 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1482-1482)
  on line 1487 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1487-1487)
  on line 1492 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1492-1492)
  on line 1497 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1497-1497)
  on line 1502 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1502-1502)
  on line 1507 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1507-1507)
  on line 1512 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1512-1512)
  on line 1517 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1517-1517)
  on line 1522 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1522-1522)
  on line 1527 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1527-1527)
  on line 1532 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1532-1532)
  on line 1537 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1537-1537)
  on line 1542 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1542-1542)
  on line 1547 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1547-1547)
  on line 1552 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1552-1552)
  on line 1557 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1557-1557)
  on line 1562 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1562-1562)
  on line 1567 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1567-1567)
  on line 1572 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1572-1572)
  on line 1577 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1577-1577)
  on line 1582 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1582-1582)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 485
  dead: 81
  total lines: 566
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:328:10-328:11)
[Warning][Deadcode][CWE-570] condition 'E_4 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1165:7-1165:15)
[Warning][Deadcode][CWE-570] condition 'E_5 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1170:7-1170:15)
[Warning][Deadcode][CWE-571] condition 'm_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:761:7-761:15)
[Warning][Deadcode][CWE-570] condition 'E_6 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1175:7-1175:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1644:10-1644:11)
[Warning][Deadcode][CWE-571] condition 't1_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:766:7-766:16)
[Warning][Deadcode][CWE-570] condition 'E_7 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1180:7-1180:15)
[Warning][Deadcode][CWE-571] condition 't2_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:180:9-180:19)
[Warning][Deadcode][CWE-570] condition 'E_8 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1185:7-1185:15)
[Warning][Deadcode][CWE-571] condition 't2_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:771:7-771:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:188:10-188:11)
[Warning][Deadcode][CWE-570] condition 'E_9 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1190:7-1190:15)
[Warning][Deadcode][CWE-571] condition 't7_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:355:9-355:19)
[Warning][Deadcode][CWE-570] condition 'E_10 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1195:7-1195:16)
[Warning][Deadcode][CWE-571] condition 't3_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:776:7-776:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:363:10-363:11)
[Warning][Deadcode][CWE-570] condition 'E_11 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1200:7-1200:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:223:10-223:11)
[Warning][Deadcode][CWE-571] condition 't4_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:781:7-781:16)
[Warning][Deadcode][CWE-570] condition 'M_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1213:7-1213:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:398:10-398:11)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1218:7-1218:16)
[Warning][Deadcode][CWE-571] condition 't5_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:786:7-786:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1223:7-1223:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1644:10-1644:11)
[Warning][Deadcode][CWE-571] condition 't6_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:791:7-791:16)
[Warning][Deadcode][CWE-571] condition 'M_E == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1471:7-1471:15)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1228:7-1228:16)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1476:7-1476:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1233:7-1233:16)
[Warning][Deadcode][CWE-571] condition 't4_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:250:9-250:19)
[Warning][Deadcode][CWE-571] condition 't7_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:796:7-796:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1481:7-1481:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1238:7-1238:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:258:10-258:11)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1486:7-1486:16)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1243:7-1243:16)
[Warning][Deadcode][CWE-571] condition 't8_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:801:7-801:16)
[Warning][Deadcode][CWE-571] condition 't9_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:425:9-425:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:120:12-120:13)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1491:7-1491:16)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1248:7-1248:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:433:10-433:11)
[Warning][Deadcode][CWE-571] condition 't9_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:806:7-806:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1496:7-1496:16)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1253:7-1253:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:293:10-293:11)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1501:7-1501:16)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1258:7-1258:16)
[Warning][Deadcode][CWE-571] condition 't10_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:811:7-811:17)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1506:7-1506:16)
[Warning][Deadcode][CWE-570] condition 'T10_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1263:7-1263:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:468:10-468:11)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1511:7-1511:16)
[Warning][Deadcode][CWE-570] condition 'T11_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1268:7-1268:17)
[Warning][Deadcode][CWE-571] condition 't11_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:816:7-816:17)
[Warning][Deadcode][CWE-571] condition 't1_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:145:9-145:19)
[Warning][Deadcode][CWE-571] condition 'm_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:104:9-104:18)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1516:7-1516:16)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1273:7-1273:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:153:10-153:11)
[Warning][Deadcode][CWE-570] condition 'T10_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1521:7-1521:17)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1278:7-1278:15)
[Warning][Deadcode][CWE-571] condition 't6_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:320:9-320:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:112:10-112:11)
[Warning][Deadcode][CWE-570] condition 'T11_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1526:7-1526:17)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1283:7-1283:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:328:10-328:11)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1531:7-1531:15)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1288:7-1288:15)
[Warning][Deadcode][CWE-571] condition 't11_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:495:9-495:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:188:10-188:11)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1536:7-1536:15)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1293:7-1293:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:120:12-120:13)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:503:10-503:11)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1541:7-1541:15)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1298:7-1298:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:363:10-363:11)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1546:7-1546:15)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1303:7-1303:15)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1551:7-1551:15)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1308:7-1308:15)
[Warning][Deadcode][CWE-570] condition 'M_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1090:7-1090:15)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1556:7-1556:15)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1313:7-1313:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1095:7-1095:16)
[Warning][Deadcode][CWE-571] condition 't3_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:215:9-215:19)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1561:7-1561:15)
[Warning][Deadcode][CWE-570] condition 'E_10 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1318:7-1318:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1100:7-1100:16)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1566:7-1566:15)
[Warning][Deadcode][CWE-570] condition 'E_11 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1323:7-1323:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:223:10-223:11)
[Warning][Deadcode][CWE-570] condition 'T3_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1105:7-1105:16)
[Warning][Deadcode][CWE-571] condition 't8_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:390:9-390:19)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1571:7-1571:15)
[Warning][Deadcode][CWE-570] condition 'T4_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1110:7-1110:16)
[Warning][Deadcode][CWE-570] condition 'E_10 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1576:7-1576:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:398:10-398:11)
[Warning][Deadcode][CWE-570] condition 'T5_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1115:7-1115:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:258:10-258:11)
[Warning][Deadcode][CWE-570] condition 'E_11 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1581:7-1581:16)
[Warning][Deadcode][CWE-570] condition 'T6_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1120:7-1120:16)
[Warning][Deadcode][CWE-570] condition 'T7_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1125:7-1125:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:433:10-433:11)
[Warning][Deadcode][CWE-570] condition 'T8_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1130:7-1130:16)
[Warning][Deadcode][CWE-570] condition 'T9_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1135:7-1135:16)
[Warning][Deadcode][CWE-570] condition 'T10_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1140:7-1140:17)
[Warning][Deadcode][CWE-571] condition 't5_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:285:9-285:19)
[Warning][Deadcode][CWE-570] condition 'T11_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1145:7-1145:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:901:10-901:11)
[Warning][Deadcode][CWE-570] condition 'E_1 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1150:7-1150:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:293:10-293:11)
[Warning][Deadcode][CWE-571] condition 't10_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:460:9-460:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:153:10-153:11)
[Warning][Deadcode][CWE-570] condition 'E_2 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1155:7-1155:15)
[Warning][Deadcode][CWE-570] condition 'E_3 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:1160:7-1160:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.11.cil.c:468:10-468:11)
[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
