./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.12.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.12.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.12.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.12.cil.c:126:5-133:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:159:3-171:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:194:3-206:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:229:3-241:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:264:3-276:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:299:3-311:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:334:3-346:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:369:3-381:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:404:3-416:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:439:3-451:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:474:3-486:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:509:3-521:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:544:3-554:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1768:3-1805: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.12.cil.c:22-22)
[Warning][Deadcode] Function 'fire_delta_events' has dead code:
  on line 1175 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1175-1175)
  on line 1180 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1180-1180)
  on line 1185 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1185-1185)
  on line 1190 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1190-1190)
  on line 1195 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1195-1195)
  on line 1200 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1200-1200)
  on line 1205 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1205-1205)
  on line 1210 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1210-1210)
  on line 1215 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1215-1215)
  on line 1220 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1220-1220)
  on line 1225 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1225-1225)
  on line 1230 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1230-1230)
  on line 1235 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1235-1235)
  on line 1240 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1240-1240)
  on line 1245 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1245-1245)
  on line 1250 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1250-1250)
  on line 1255 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1255-1255)
  on line 1260 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1260-1260)
  on line 1265 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1265-1265)
  on line 1270 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1270-1270)
  on line 1275 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1275-1275)
  on line 1280 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1280-1280)
  on line 1285 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1285-1285)
  on line 1290 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1290-1290)
  on line 1295 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1295-1295)
[Warning][Deadcode] Function 'init_threads' has dead code:
  on line 824 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:824-824)
  on line 829 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:829-829)
  on line 834 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:834-834)
  on line 839 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:839-839)
  on line 844 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:844-844)
  on line 849 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:849-849)
  on line 854 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:854-854)
  on line 859 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:859-859)
  on line 864 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:864-864)
  on line 869 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:869-869)
  on line 874 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:874-874)
  on line 879 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:879-879)
  on line 884 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:884-884)
[Warning][Deadcode] Function 'reset_delta_events' has dead code:
  on line 1308 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1308-1308)
  on line 1313 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1313-1313)
  on line 1318 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1318-1318)
  on line 1323 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1323-1323)
  on line 1328 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1328-1328)
  on line 1333 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1333-1333)
  on line 1338 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1338-1338)
  on line 1343 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1343-1343)
  on line 1348 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1348-1348)
  on line 1353 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1353-1353)
  on line 1358 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1358-1358)
  on line 1363 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1363-1363)
  on line 1368 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1368-1368)
  on line 1373 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1373-1373)
  on line 1378 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1378-1378)
  on line 1383 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1383-1383)
  on line 1388 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1388-1388)
  on line 1393 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1393-1393)
  on line 1398 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1398-1398)
  on line 1403 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1403-1403)
  on line 1408 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1408-1408)
  on line 1413 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1413-1413)
  on line 1418 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1418-1418)
  on line 1423 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1423-1423)
  on line 1428 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1428-1428)
[Warning][Deadcode] Function 'reset_time_events' has dead code:
  on line 1590 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1590-1590)
  on line 1595 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1595-1595)
  on line 1600 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1600-1600)
  on line 1605 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1605-1605)
  on line 1610 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1610-1610)
  on line 1615 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1615-1615)
  on line 1620 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1620-1620)
  on line 1625 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1625-1625)
  on line 1630 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1630-1630)
  on line 1635 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1635-1635)
  on line 1640 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1640-1640)
  on line 1645 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1645-1645)
  on line 1650 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1650-1650)
  on line 1655 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1655-1655)
  on line 1660 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1660-1660)
  on line 1665 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1665-1665)
  on line 1670 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1670-1670)
  on line 1675 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1675-1675)
  on line 1680 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1680-1680)
  on line 1685 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1685-1685)
  on line 1690 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1690-1690)
  on line 1695 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1695-1695)
  on line 1700 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1700-1700)
  on line 1705 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1705-1705)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 520
  dead: 88
  total lines: 608
[Warning][Deadcode][CWE-570] condition 'E_11 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1289:7-1289:16)
[Warning][Deadcode][CWE-570] condition 'E_12 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1294:7-1294:16)
[Warning][Deadcode][CWE-571] condition 't8_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:861:7-861:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1768:10-1768:11)
[Warning][Deadcode][CWE-570] condition 'M_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1307:7-1307:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:509:10-509:11)
[Warning][Deadcode][CWE-571] condition 't9_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:866:7-866:16)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1312:7-1312:16)
[Warning][Deadcode][CWE-571] condition 't2_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:186:9-186:19)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1317:7-1317:16)
[Warning][Deadcode][CWE-571] condition 't10_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:871:7-871:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:194:10-194:11)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1322:7-1322:16)
[Warning][Deadcode][CWE-571] condition 't11_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:876:7-876:17)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1327:7-1327:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1332:7-1332:16)
[Warning][Deadcode][CWE-571] condition 't12_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:881:7-881:17)
[Warning][Deadcode][CWE-571] condition 't12_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:536:9-536:20)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1337:7-1337:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:544:10-544:11)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1342:7-1342:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:404:10-404:11)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1347:7-1347:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1768:10-1768:11)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1352:7-1352:16)
[Warning][Deadcode][CWE-570] condition 'T10_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1357:7-1357:17)
[Warning][Deadcode][CWE-570] condition 'T11_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1362:7-1362:17)
[Warning][Deadcode][CWE-570] condition 'T12_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1367:7-1367:17)
[Warning][Deadcode][CWE-571] condition 't9_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:431:9-431:19)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1372:7-1372:15)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1377:7-1377:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:439:10-439:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:299:10-299:11)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1382:7-1382:15)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1387:7-1387:15)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1392:7-1392:15)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1397:7-1397:15)
[Warning][Deadcode][CWE-571] condition 'm_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:110:9-110:18)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1402:7-1402:15)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1407:7-1407:15)
[Warning][Deadcode][CWE-571] condition 't6_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:326:9-326:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:118:10-118:11)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1412:7-1412:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:334:10-334:11)
[Warning][Deadcode][CWE-570] condition 'E_10 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1417:7-1417:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:194:10-194:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:126:12-126:13)
[Warning][Deadcode][CWE-570] condition 'E_11 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1422:7-1422:16)
[Warning][Deadcode][CWE-570] condition 'E_12 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1427:7-1427:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:971:10-971:11)
[Warning][Deadcode][CWE-571] condition 't3_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:221:9-221:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:229:10-229:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:439:10-439:11)
[Warning][Deadcode][CWE-571] condition 't10_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:466:9-466:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:474:10-474:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:334:10-334:11)
[Warning][Deadcode][CWE-571] condition 't7_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:361:9-361:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:369:10-369:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:229:10-229:11)
[Warning][Deadcode][CWE-571] condition 'M_E == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1584:7-1584:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1589:7-1589:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1594:7-1594:16)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1599:7-1599:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1604:7-1604:16)
[Warning][Deadcode][CWE-571] condition 't4_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:256:9-256:19)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1609:7-1609:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:264:10-264:11)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1614:7-1614:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:126:12-126:13)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1619:7-1619:16)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1624:7-1624:16)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1629:7-1629:16)
[Warning][Deadcode][CWE-570] condition 'T10_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1634:7-1634:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:474:10-474:11)
[Warning][Deadcode][CWE-570] condition 'M_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1174:7-1174:15)
[Warning][Deadcode][CWE-570] condition 'T11_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1639:7-1639:17)
[Warning][Deadcode][CWE-571] condition 't1_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:151:9-151:19)
[Warning][Deadcode][CWE-570] condition 'T1_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1179:7-1179:16)
[Warning][Deadcode][CWE-570] condition 'T12_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1644:7-1644:17)
[Warning][Deadcode][CWE-570] condition 'T2_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1184:7-1184:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:159:10-159:11)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1649:7-1649:15)
[Warning][Deadcode][CWE-570] condition 'T3_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1189:7-1189:16)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1654:7-1654:15)
[Warning][Deadcode][CWE-570] condition 'T4_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1194:7-1194:16)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1659:7-1659:15)
[Warning][Deadcode][CWE-571] condition 't11_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:501:9-501:20)
[Warning][Deadcode][CWE-570] condition 'T5_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1199:7-1199:16)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1664:7-1664:15)
[Warning][Deadcode][CWE-570] condition 'T6_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1204:7-1204:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:509:10-509:11)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1669:7-1669:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:369:10-369:11)
[Warning][Deadcode][CWE-570] condition 'T7_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1209:7-1209:16)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1674:7-1674:15)
[Warning][Deadcode][CWE-570] condition 'T8_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1214:7-1214:16)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1679:7-1679:15)
[Warning][Deadcode][CWE-570] condition 'T9_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1219:7-1219:16)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1684:7-1684:15)
[Warning][Deadcode][CWE-570] condition 'T10_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1224:7-1224:17)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1689:7-1689:15)
[Warning][Deadcode][CWE-571] condition 'm_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:821:7-821:15)
[Warning][Deadcode][CWE-570] condition 'T11_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1229:7-1229:17)
[Warning][Deadcode][CWE-570] condition 'E_10 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1694:7-1694:16)
[Warning][Deadcode][CWE-570] condition 'T12_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1234:7-1234:17)
[Warning][Deadcode][CWE-571] condition 't8_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:396:9-396:19)
[Warning][Deadcode][CWE-570] condition 'E_11 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1699:7-1699:16)
[Warning][Deadcode][CWE-571] condition 't1_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:826:7-826:16)
[Warning][Deadcode][CWE-570] condition 'E_1 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1239:7-1239:15)
[Warning][Deadcode][CWE-570] condition 'E_12 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1704:7-1704:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:404:10-404:11)
[Warning][Deadcode][CWE-570] condition 'E_2 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1244:7-1244:15)
[Warning][Deadcode][CWE-571] condition 't2_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:831:7-831:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:264:10-264:11)
[Warning][Deadcode][CWE-570] condition 'E_3 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1249:7-1249:15)
[Warning][Deadcode][CWE-571] condition 't3_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:836:7-836:16)
[Warning][Deadcode][CWE-570] condition 'E_4 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1254:7-1254:15)
[Warning][Deadcode][CWE-570] condition 'E_5 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1259:7-1259:15)
[Warning][Deadcode][CWE-571] condition 't4_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:841:7-841:16)
[Warning][Deadcode][CWE-570] condition 'E_6 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1264:7-1264:15)
[Warning][Deadcode][CWE-570] condition 'E_7 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1269:7-1269:15)
[Warning][Deadcode][CWE-571] condition 't5_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:846:7-846:16)
[Warning][Deadcode][CWE-571] condition 't5_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:291:9-291:19)
[Warning][Deadcode][CWE-570] condition 'E_8 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1274:7-1274:15)
[Warning][Deadcode][CWE-571] condition 't6_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:851:7-851:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:299:10-299:11)
[Warning][Deadcode][CWE-570] condition 'E_9 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1279:7-1279:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:159:10-159:11)
[Warning][Deadcode][CWE-570] condition 'E_10 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:1284:7-1284:16)
[Warning][Deadcode][CWE-571] condition 't7_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.12.cil.c:856:7-856: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
