./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.10.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.10.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.10.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.10.cil.c:114:5-121:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:147:3-159:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:182:3-194:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:217:3-229:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:252:3-264:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:287:3-299:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:322:3-334:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:357:3-369:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:392:3-404:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:427:3-439:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:462:3-472:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1520:3-1557: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.10.cil.c:22-22)
[Warning][Deadcode] Function 'fire_delta_events' has dead code:
  on line 1007 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1007-1007)
  on line 1012 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1012-1012)
  on line 1017 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1017-1017)
  on line 1022 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1022-1022)
  on line 1027 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1027-1027)
  on line 1032 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1032-1032)
  on line 1037 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1037-1037)
  on line 1042 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1042-1042)
  on line 1047 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1047-1047)
  on line 1052 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1052-1052)
  on line 1057 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1057-1057)
  on line 1062 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1062-1062)
  on line 1067 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1067-1067)
  on line 1072 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1072-1072)
  on line 1077 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1077-1077)
  on line 1082 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1082-1082)
  on line 1087 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1087-1087)
  on line 1092 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1092-1092)
  on line 1097 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1097-1097)
  on line 1102 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1102-1102)
  on line 1107 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1107-1107)
[Warning][Deadcode] Function 'init_threads' has dead code:
  on line 704 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:704-704)
  on line 709 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:709-709)
  on line 714 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:714-714)
  on line 719 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:719-719)
  on line 724 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:724-724)
  on line 729 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:729-729)
  on line 734 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:734-734)
  on line 739 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:739-739)
  on line 744 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:744-744)
  on line 749 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:749-749)
  on line 754 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:754-754)
[Warning][Deadcode] Function 'reset_delta_events' has dead code:
  on line 1120 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1120-1120)
  on line 1125 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1125-1125)
  on line 1130 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1130-1130)
  on line 1135 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1135-1135)
  on line 1140 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1140-1140)
  on line 1145 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1145-1145)
  on line 1150 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1150-1150)
  on line 1155 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1155-1155)
  on line 1160 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1160-1160)
  on line 1165 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1165-1165)
  on line 1170 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1170-1170)
  on line 1175 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1175-1175)
  on line 1180 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1180-1180)
  on line 1185 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1185-1185)
  on line 1190 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1190-1190)
  on line 1195 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1195-1195)
  on line 1200 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1200-1200)
  on line 1205 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1205-1205)
  on line 1210 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1210-1210)
  on line 1215 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1215-1215)
  on line 1220 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1220-1220)
[Warning][Deadcode] Function 'reset_time_events' has dead code:
  on line 1364 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1364-1364)
  on line 1369 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1369-1369)
  on line 1374 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1374-1374)
  on line 1379 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1379-1379)
  on line 1384 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1384-1384)
  on line 1389 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1389-1389)
  on line 1394 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1394-1394)
  on line 1399 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1399-1399)
  on line 1404 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1404-1404)
  on line 1409 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1409-1409)
  on line 1414 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1414-1414)
  on line 1419 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1419-1419)
  on line 1424 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1424-1424)
  on line 1429 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1429-1429)
  on line 1434 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1434-1434)
  on line 1439 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1439-1439)
  on line 1444 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1444-1444)
  on line 1449 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1449-1449)
  on line 1454 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1454-1454)
  on line 1459 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1459-1459)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 450
  dead: 74
  total lines: 524
[Warning][Deadcode][CWE-570] condition 'T6_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1036:7-1036:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:322:10-322:11)
[Warning][Deadcode][CWE-570] condition 'T7_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1041:7-1041:16)
[Warning][Deadcode][CWE-570] condition 'T8_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1046:7-1046:16)
[Warning][Deadcode][CWE-570] condition 'T9_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1051:7-1051:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1520:10-1520:11)
[Warning][Deadcode][CWE-571] condition 't2_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:174:9-174:19)
[Warning][Deadcode][CWE-570] condition 'T10_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1056:7-1056:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:182:10-182:11)
[Warning][Deadcode][CWE-570] condition 'E_1 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1061:7-1061:15)
[Warning][Deadcode][CWE-571] condition 't7_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:349:9-349:19)
[Warning][Deadcode][CWE-570] condition 'E_2 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1066:7-1066:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:357:10-357:11)
[Warning][Deadcode][CWE-570] condition 'E_3 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1071:7-1071:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:217:10-217:11)
[Warning][Deadcode][CWE-570] condition 'E_4 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1076:7-1076:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:831:10-831:11)
[Warning][Deadcode][CWE-570] condition 'E_5 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1081:7-1081:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:392:10-392:11)
[Warning][Deadcode][CWE-570] condition 'E_6 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1086:7-1086:15)
[Warning][Deadcode][CWE-570] condition 'E_7 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1091:7-1091:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1520:10-1520:11)
[Warning][Deadcode][CWE-570] condition 'E_8 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1096:7-1096:15)
[Warning][Deadcode][CWE-571] condition 't4_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:244:9-244:19)
[Warning][Deadcode][CWE-570] condition 'E_9 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1101:7-1101:15)
[Warning][Deadcode][CWE-570] condition 'E_10 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1106:7-1106:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:252:10-252:11)
[Warning][Deadcode][CWE-571] condition 'M_E == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1358:7-1358:15)
[Warning][Deadcode][CWE-571] condition 't9_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:419:9-419:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:114:12-114:13)
[Warning][Deadcode][CWE-570] condition 'M_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1119:7-1119:15)
[Warning][Deadcode][CWE-571] condition 'm_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:701:7-701:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1363:7-1363:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:427:10-427:11)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1124:7-1124:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1368:7-1368:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:287:10-287:11)
[Warning][Deadcode][CWE-571] condition 't1_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:706:7-706:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1129:7-1129:16)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1373:7-1373:16)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1134:7-1134:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1378:7-1378:16)
[Warning][Deadcode][CWE-571] condition 't2_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:711:7-711:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1139:7-1139:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1383:7-1383:16)
[Warning][Deadcode][CWE-571] condition 't1_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:139:9-139:19)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1144:7-1144:16)
[Warning][Deadcode][CWE-571] condition 't3_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:716:7-716:16)
[Warning][Deadcode][CWE-571] condition 'm_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:98:9-98:18)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1388:7-1388:16)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1149:7-1149:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:147:10-147:11)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1393:7-1393:16)
[Warning][Deadcode][CWE-571] condition 't4_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:721:7-721:16)
[Warning][Deadcode][CWE-571] condition 't6_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:314:9-314:19)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1154:7-1154:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:106:10-106:11)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1398:7-1398:16)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1159:7-1159:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:322:10-322:11)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1403:7-1403:16)
[Warning][Deadcode][CWE-571] condition 't5_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:726:7-726:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:182:10-182:11)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1164:7-1164:16)
[Warning][Deadcode][CWE-570] condition 'T10_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1408:7-1408:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:114:12-114:13)
[Warning][Deadcode][CWE-570] condition 'T10_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1169:7-1169:17)
[Warning][Deadcode][CWE-571] condition 't6_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:731:7-731:16)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1413:7-1413:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:357:10-357:11)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1174:7-1174:15)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1418:7-1418:15)
[Warning][Deadcode][CWE-571] condition 't7_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:736:7-736:16)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1179:7-1179:15)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1423:7-1423:15)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1184:7-1184:15)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1428:7-1428:15)
[Warning][Deadcode][CWE-571] condition 't8_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:741:7-741:16)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1189:7-1189:15)
[Warning][Deadcode][CWE-571] condition 't3_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:209:9-209:19)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1433:7-1433:15)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1194:7-1194:15)
[Warning][Deadcode][CWE-571] condition 't9_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:746:7-746:16)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1438:7-1438:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:217:10-217:11)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1199:7-1199:15)
[Warning][Deadcode][CWE-571] condition 't8_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:384:9-384:19)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1443:7-1443:15)
[Warning][Deadcode][CWE-571] condition 't10_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:751:7-751:17)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1204:7-1204:15)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1448:7-1448:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:392:10-392:11)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1209:7-1209:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:252:10-252:11)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1453:7-1453:15)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1214:7-1214:15)
[Warning][Deadcode][CWE-570] condition 'E_10 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1458:7-1458:16)
[Warning][Deadcode][CWE-570] condition 'E_10 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1219:7-1219:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:427:10-427:11)
[Warning][Deadcode][CWE-570] condition 'M_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1006:7-1006:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1011:7-1011:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1016:7-1016:16)
[Warning][Deadcode][CWE-571] condition 't5_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:279:9-279:19)
[Warning][Deadcode][CWE-570] condition 'T3_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1021:7-1021:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:287:10-287:11)
[Warning][Deadcode][CWE-570] condition 'T4_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1026:7-1026:16)
[Warning][Deadcode][CWE-571] condition 't10_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:454:9-454:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:147:10-147:11)
[Warning][Deadcode][CWE-570] condition 'T5_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:1031:7-1031:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.10.cil.c:462:10-462: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
