./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/transmitter.06.cil.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/transmitter.06.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.06.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.06.cil.c:90:5-97:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:123:3-135:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:158:3-170:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:193:3-205:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:228:3-240:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:263:3-275:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:298:3-308:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:1024:3-1061: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] couldn't parse entry: find uuid
[Warning][Deadcode] Function 'error' has dead code:
  on line 22 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:22-22)
[Warning][Deadcode] Function 'fire_delta_events' has dead code:
  on line 671 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:671-671)
  on line 676 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:676-676)
  on line 681 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:681-681)
  on line 686 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:686-686)
  on line 691 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:691-691)
  on line 696 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:696-696)
  on line 701 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:701-701)
  on line 706 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:706-706)
  on line 711 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:711-711)
  on line 716 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:716-716)
  on line 721 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:721-721)
  on line 726 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:726-726)
  on line 731 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:731-731)
[Warning][Deadcode] Function 'init_threads' has dead code:
  on line 464 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:464-464)
  on line 469 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:469-469)
  on line 474 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:474-474)
  on line 479 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:479-479)
  on line 484 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:484-484)
  on line 489 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:489-489)
  on line 494 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:494-494)
[Warning][Deadcode] Function 'reset_delta_events' has dead code:
  on line 744 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:744-744)
  on line 749 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:749-749)
  on line 754 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:754-754)
  on line 759 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:759-759)
  on line 764 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:764-764)
  on line 769 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:769-769)
  on line 774 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:774-774)
  on line 779 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:779-779)
  on line 784 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:784-784)
  on line 789 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:789-789)
  on line 794 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:794-794)
  on line 799 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:799-799)
  on line 804 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:804-804)
[Warning][Deadcode] Function 'reset_time_events' has dead code:
  on line 912 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:912-912)
  on line 917 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:917-917)
  on line 922 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:922-922)
  on line 927 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:927-927)
  on line 932 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:932-932)
  on line 937 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:937-937)
  on line 942 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:942-942)
  on line 947 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:947-947)
  on line 952 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:952-952)
  on line 957 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:957-957)
  on line 962 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:962-962)
  on line 967 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:967-967)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 310
  dead: 46
  total lines: 356
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:748:7-748:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:753:7-753:16)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:758:7-758:16)
[Warning][Deadcode][CWE-571] condition 't2_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:150:9-150:19)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:763:7-763:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:768:7-768:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:158:10-158:11)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:773:7-773:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:1024:10-1024:11)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:778:7-778:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:193:10-193:11)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:783:7-783:15)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:788:7-788:15)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:793:7-793:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:551:10-551:11)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:798:7-798:15)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:803:7-803:15)
[Warning][Deadcode][CWE-571] condition 't4_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:220:9-220:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:228:10-228:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:1024:10-1024:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:90:12-90:13)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:263:10-263:11)
[Warning][Deadcode][CWE-571] condition 't1_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:115:9-115:19)
[Warning][Deadcode][CWE-571] condition 'm_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:74:9-74:18)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:123:10-123:11)
[Warning][Deadcode][CWE-571] condition 't6_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:290:9-290:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:82:10-82:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:298:10-298:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:158:10-158:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:90:12-90:13)
[Warning][Deadcode][CWE-571] condition 'M_E == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:906:7-906:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:911:7-911:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:916:7-916:16)
[Warning][Deadcode][CWE-570] condition 'M_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:670:7-670:15)
[Warning][Deadcode][CWE-571] condition 'm_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:461:7-461:15)
[Warning][Deadcode][CWE-571] condition 't3_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:185:9-185:19)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:921:7-921:16)
[Warning][Deadcode][CWE-570] condition 'T1_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:675:7-675:16)
[Warning][Deadcode][CWE-571] condition 't1_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:466:7-466:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:193:10-193:11)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:926:7-926:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:680:7-680:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:931:7-931:16)
[Warning][Deadcode][CWE-570] condition 'T3_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:685:7-685:16)
[Warning][Deadcode][CWE-571] condition 't2_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:471:7-471:16)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:936:7-936:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:690:7-690:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:228:10-228:11)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:941:7-941:15)
[Warning][Deadcode][CWE-570] condition 'T5_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:695:7-695:16)
[Warning][Deadcode][CWE-571] condition 't3_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:476:7-476:16)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:946:7-946:15)
[Warning][Deadcode][CWE-570] condition 'T6_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:700:7-700:16)
[Warning][Deadcode][CWE-571] condition 't4_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:481:7-481:16)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:951:7-951:15)
[Warning][Deadcode][CWE-570] condition 'E_1 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:705:7-705:15)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:956:7-956:15)
[Warning][Deadcode][CWE-570] condition 'E_2 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:710:7-710:15)
[Warning][Deadcode][CWE-571] condition 't5_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:486:7-486:16)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:961:7-961:15)
[Warning][Deadcode][CWE-570] condition 'E_3 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:715:7-715:15)
[Warning][Deadcode][CWE-571] condition 't5_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:255:9-255:19)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:966:7-966:15)
[Warning][Deadcode][CWE-570] condition 'E_4 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:720:7-720:15)
[Warning][Deadcode][CWE-571] condition 't6_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:491:7-491:16)
[Warning][Deadcode][CWE-570] condition 'E_5 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:725:7-725:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:263:10-263:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:123:10-123:11)
[Warning][Deadcode][CWE-570] condition 'E_6 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:730:7-730:15)
[Warning][Deadcode][CWE-570] condition 'M_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.06.cil.c:743:7-743:15)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 1
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 1
SV-COMP result: ERROR (witness error)
