./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.07.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.07.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.07.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.07.cil.c:96:5-103:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:129:3-141:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:164:3-176:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:199:3-211:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:234:3-246:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:269:3-281:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:304:3-316:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:339:3-349:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1148:3-1185: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.07.cil.c:22-22)
[Warning][Deadcode] Function 'fire_delta_events' has dead code:
  on line 755 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:755-755)
  on line 760 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:760-760)
  on line 765 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:765-765)
  on line 770 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:770-770)
  on line 775 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:775-775)
  on line 780 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:780-780)
  on line 785 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:785-785)
  on line 790 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:790-790)
  on line 795 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:795-795)
  on line 800 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:800-800)
  on line 805 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:805-805)
  on line 810 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:810-810)
  on line 815 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:815-815)
  on line 820 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:820-820)
  on line 825 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:825-825)
[Warning][Deadcode] Function 'init_threads' has dead code:
  on line 524 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:524-524)
  on line 529 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:529-529)
  on line 534 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:534-534)
  on line 539 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:539-539)
  on line 544 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:544-544)
  on line 549 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:549-549)
  on line 554 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:554-554)
  on line 559 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:559-559)
[Warning][Deadcode] Function 'reset_delta_events' has dead code:
  on line 838 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:838-838)
  on line 843 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:843-843)
  on line 848 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:848-848)
  on line 853 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:853-853)
  on line 858 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:858-858)
  on line 863 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:863-863)
  on line 868 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:868-868)
  on line 873 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:873-873)
  on line 878 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:878-878)
  on line 883 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:883-883)
  on line 888 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:888-888)
  on line 893 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:893-893)
  on line 898 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:898-898)
  on line 903 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:903-903)
  on line 908 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:908-908)
[Warning][Deadcode] Function 'reset_time_events' has dead code:
  on line 1025 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1025-1025)
  on line 1030 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1030-1030)
  on line 1035 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1035-1035)
  on line 1040 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1040-1040)
  on line 1045 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1045-1045)
  on line 1050 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1050-1050)
  on line 1055 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1055-1055)
  on line 1060 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1060-1060)
  on line 1065 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1065-1065)
  on line 1070 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1070-1070)
  on line 1075 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1075-1075)
  on line 1080 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1080-1080)
  on line 1085 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1085-1085)
  on line 1090 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1090-1090)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 345
  dead: 53
  total lines: 398
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:872:7-872:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:304:10-304:11)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:877:7-877:15)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:882:7-882:15)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:887:7-887:15)
[Warning][Deadcode][CWE-571] condition 't2_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:156:9-156:19)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:892:7-892:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:164:10-164:11)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:897:7-897:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1148:10-1148:11)
[Warning][Deadcode][CWE-571] condition 't7_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:331:9-331:19)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:902:7-902:15)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:907:7-907:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:339:10-339:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:199:10-199:11)
[Warning][Deadcode][CWE-571] condition 't4_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:226:9-226:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:234:10-234:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1148:10-1148:11)
[Warning][Deadcode][CWE-571] condition 'm_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:521:7-521:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:96:12-96:13)
[Warning][Deadcode][CWE-571] condition 't1_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:526:7-526:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:269:10-269:11)
[Warning][Deadcode][CWE-571] condition 't2_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:531:7-531:16)
[Warning][Deadcode][CWE-571] condition 't3_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:536:7-536:16)
[Warning][Deadcode][CWE-571] condition 't1_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:121:9-121:19)
[Warning][Deadcode][CWE-570] condition 'M_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:754:7-754:15)
[Warning][Deadcode][CWE-571] condition 'm_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:80:9-80:18)
[Warning][Deadcode][CWE-570] condition 'T1_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:759:7-759:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:129:10-129:11)
[Warning][Deadcode][CWE-571] condition 't4_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:541:7-541:16)
[Warning][Deadcode][CWE-571] condition 't6_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:296:9-296:19)
[Warning][Deadcode][CWE-570] condition 'T2_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:764:7-764:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:88:10-88:11)
[Warning][Deadcode][CWE-570] condition 'T3_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:769:7-769:16)
[Warning][Deadcode][CWE-571] condition 't5_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:546:7-546:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:304:10-304:11)
[Warning][Deadcode][CWE-571] condition 'M_E == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1019:7-1019:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:164:10-164:11)
[Warning][Deadcode][CWE-570] condition 'T4_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:774:7-774:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:96:12-96:13)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1024:7-1024:16)
[Warning][Deadcode][CWE-571] condition 't6_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:551:7-551:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:779:7-779:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1029:7-1029:16)
[Warning][Deadcode][CWE-570] condition 'T6_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:784:7-784:16)
[Warning][Deadcode][CWE-571] condition 't7_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:556:7-556:16)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1034:7-1034:16)
[Warning][Deadcode][CWE-570] condition 'T7_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:789:7-789:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1039:7-1039:16)
[Warning][Deadcode][CWE-570] condition 'E_1 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:794:7-794:15)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1044:7-1044:16)
[Warning][Deadcode][CWE-570] condition 'E_2 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:799:7-799:15)
[Warning][Deadcode][CWE-571] condition 't3_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:191:9-191:19)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1049:7-1049:16)
[Warning][Deadcode][CWE-570] condition 'E_3 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:804:7-804:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:199:10-199:11)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1054:7-1054:16)
[Warning][Deadcode][CWE-570] condition 'E_4 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:809:7-809:15)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1059:7-1059:15)
[Warning][Deadcode][CWE-570] condition 'E_5 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:814:7-814:15)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1064:7-1064:15)
[Warning][Deadcode][CWE-570] condition 'E_6 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:819:7-819:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:234:10-234:11)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1069:7-1069:15)
[Warning][Deadcode][CWE-570] condition 'E_7 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:824:7-824:15)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1074:7-1074:15)
[Warning][Deadcode][CWE-570] condition 'M_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:837:7-837:15)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1079:7-1079:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:842:7-842:16)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1084:7-1084:15)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:847:7-847:16)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:1089:7-1089:15)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:852:7-852:16)
[Warning][Deadcode][CWE-571] condition 't5_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:261:9-261:19)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:857:7-857:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:269:10-269:11)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:862:7-862:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:129:10-129:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:621:10-621:11)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.07.cil.c:867:7-867: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
