./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/token_ring.13.cil-1.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/token_ring.13.cil-1.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/token_ring.13.cil-1.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/token_ring.13.cil-1.c:127:3-160:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:183:3-196:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:219:3-232:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:255:3-268:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:291:3-304:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:327:3-340:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:363:3-376:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:399:3-412:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:435:3-448:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:471:3-484:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:507:3-520:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:543:3-556:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:579:3-592:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:615:3-628:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1940:3-1977: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][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:141:9-141:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:191:5-191:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:227:5-227:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:263:5-263:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:299:5-299:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:335:5-335:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:371:5-371:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:407:5-407:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:443:5-443:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:479:5-479:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:515:5-515:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:551:5-551:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:587:5-587:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:623:5-623:15)
[Warning][Deadcode] Function 'error' has dead code:
  on line 21 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:21-21)
[Warning][Deadcode] Function 'fire_delta_events' has dead code:
  on line 1292 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1292-1292)
  on line 1297 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1297-1297)
  on line 1302 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1302-1302)
  on line 1307 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1307-1307)
  on line 1312 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1312-1312)
  on line 1317 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1317-1317)
  on line 1322 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1322-1322)
  on line 1327 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1327-1327)
  on line 1332 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1332-1332)
  on line 1337 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1337-1337)
  on line 1342 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1342-1342)
  on line 1347 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1347-1347)
  on line 1352 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1352-1352)
  on line 1357 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1357-1357)
  on line 1362 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1362-1362)
  on line 1367 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1367-1367)
  on line 1372 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1372-1372)
  on line 1377 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1377-1377)
  on line 1382 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1382-1382)
  on line 1387 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1387-1387)
  on line 1392 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1392-1392)
  on line 1397 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1397-1397)
  on line 1402 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1402-1402)
  on line 1407 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1407-1407)
  on line 1412 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1412-1412)
  on line 1417 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1417-1417)
  on line 1422 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1422-1422)
  on line 1427 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1427-1427)
[Warning][Deadcode] Function 'init_threads' has dead code:
  on line 917 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:917-917)
  on line 922 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:922-922)
  on line 927 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:927-927)
  on line 932 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:932-932)
  on line 937 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:937-937)
  on line 942 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:942-942)
  on line 947 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:947-947)
  on line 952 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:952-952)
  on line 957 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:957-957)
  on line 962 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:962-962)
  on line 967 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:967-967)
  on line 972 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:972-972)
  on line 977 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:977-977)
  on line 982 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:982-982)
[Warning][Deadcode] Function 'reset_delta_events' has dead code:
  on line 1440 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1440-1440)
  on line 1445 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1445-1445)
  on line 1450 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1450-1450)
  on line 1455 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1455-1455)
  on line 1460 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1460-1460)
  on line 1465 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1465-1465)
  on line 1470 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1470-1470)
  on line 1475 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1475-1475)
  on line 1480 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1480-1480)
  on line 1485 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1485-1485)
  on line 1490 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1490-1490)
  on line 1495 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1495-1495)
  on line 1500 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1500-1500)
  on line 1505 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1505-1505)
  on line 1510 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1510-1510)
  on line 1515 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1515-1515)
  on line 1520 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1520-1520)
  on line 1525 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1525-1525)
  on line 1530 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1530-1530)
  on line 1535 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1535-1535)
  on line 1540 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1540-1540)
  on line 1545 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1545-1545)
  on line 1550 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1550-1550)
  on line 1555 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1555-1555)
  on line 1560 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1560-1560)
  on line 1565 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1565-1565)
  on line 1570 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1570-1570)
  on line 1575 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1575-1575)
[Warning][Deadcode] Function 'reset_time_events' has dead code:
  on line 1746 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1746-1746)
  on line 1751 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1751-1751)
  on line 1756 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1756-1756)
  on line 1761 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1761-1761)
  on line 1766 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1766-1766)
  on line 1771 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1771-1771)
  on line 1776 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1776-1776)
  on line 1781 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1781-1781)
  on line 1786 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1786-1786)
  on line 1791 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1791-1791)
  on line 1796 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1796-1796)
  on line 1801 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1801-1801)
  on line 1806 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1806-1806)
  on line 1811 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1811-1811)
  on line 1816 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1816-1816)
  on line 1821 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1821-1821)
  on line 1826 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1826-1826)
  on line 1831 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1831-1831)
  on line 1836 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1836-1836)
  on line 1841 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1841-1841)
  on line 1846 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1846-1846)
  on line 1851 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1851-1851)
  on line 1856 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1856-1856)
  on line 1861 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1861-1861)
  on line 1866 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1866-1866)
  on line 1871 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1871-1871)
  on line 1876 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1876-1876)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 583
  dead: 98
  total lines: 681
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1469:7-1469:16)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1474:7-1474:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1940:10-1940:11)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1479:7-1479:16)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1484:7-1484:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:471:10-471:11)
[Warning][Deadcode][CWE-570] condition 'T10_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1489:7-1489:17)
[Warning][Deadcode][CWE-570] condition 'T11_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1494:7-1494:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:219:10-219:11)
[Warning][Deadcode][CWE-570] condition 'T12_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1499:7-1499:17)
[Warning][Deadcode][CWE-570] condition 'T13_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1504:7-1504:17)
[Warning][Deadcode][CWE-570] condition 'E_M == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1509:7-1509:15)
[Warning][Deadcode][CWE-571] condition 't10_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:499:9-499:20)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1514:7-1514:15)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1519:7-1519:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:507:10-507:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1940:10-1940:11)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1524:7-1524:15)
[Warning][Deadcode][CWE-571] condition 't3_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:247:9-247:19)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1529:7-1529:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:255:10-255:11)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1534:7-1534:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:615:10-615:11)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1539:7-1539:15)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1544:7-1544:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1074:10-1074:11)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1549:7-1549:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:363:10-363:11)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1554:7-1554:15)
[Warning][Deadcode][CWE-570] condition 'E_10 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1559:7-1559:16)
[Warning][Deadcode][CWE-570] condition 'E_11 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1564:7-1564:16)
[Warning][Deadcode][CWE-570] condition 'E_12 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1569:7-1569:16)
[Warning][Deadcode][CWE-570] condition 'E_13 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1574:7-1574:16)
[Warning][Deadcode][CWE-571] condition 'm_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:119:9-119:18)
[Warning][Deadcode][CWE-571] condition 't7_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:391:9-391:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:127:10-127:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:399:10-399:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:507:10-507:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:255:10-255:11)
[Warning][Deadcode][CWE-571] condition 't11_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:535:9-535:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:543:10-543:11)
[Warning][Deadcode][CWE-571] condition 't4_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:283:9-283:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:291:10-291:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:127:10-127:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:399:10-399:11)
[Warning][Deadcode][CWE-571] condition 'tmp_var == 5' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:154:17-154:29)
[Warning][Deadcode][CWE-571] condition 't8_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:427:9-427:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:435:10-435:11)
[Warning][Deadcode][CWE-571] condition 'M_E == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1740:7-1740:15)
[Warning][Deadcode][CWE-571] condition 't1_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:175:9-175:19)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1745:7-1745:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1750:7-1750:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:183:10-183:11)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1755:7-1755:16)
[Warning][Deadcode][CWE-570] condition 'M_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1291:7-1291:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:543:10-543:11)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1760:7-1760:16)
[Warning][Deadcode][CWE-570] condition 'T1_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1296:7-1296:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1765:7-1765:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1301:7-1301:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:291:10-291:11)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1770:7-1770:16)
[Warning][Deadcode][CWE-570] condition 'T3_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1306:7-1306:16)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1775:7-1775:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1311:7-1311:16)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1780:7-1780:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1316:7-1316:16)
[Warning][Deadcode][CWE-571] condition 'm_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:914:7-914:15)
[Warning][Deadcode][CWE-571] condition 't12_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:571:9-571:20)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1785:7-1785:16)
[Warning][Deadcode][CWE-570] condition 'T6_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1321:7-1321:16)
[Warning][Deadcode][CWE-570] condition 'T10_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1790:7-1790:17)
[Warning][Deadcode][CWE-570] condition 'T7_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1326:7-1326:16)
[Warning][Deadcode][CWE-571] condition 't1_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:919:7-919:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:579:10-579:11)
[Warning][Deadcode][CWE-570] condition 'T11_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1795:7-1795:17)
[Warning][Deadcode][CWE-570] condition 'T8_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1331:7-1331:16)
[Warning][Deadcode][CWE-571] condition 't5_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:319:9-319:19)
[Warning][Deadcode][CWE-571] condition 't2_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:924:7-924:16)
[Warning][Deadcode][CWE-570] condition 'T12_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1800:7-1800:17)
[Warning][Deadcode][CWE-570] condition 'T9_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1336:7-1336:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:327:10-327:11)
[Warning][Deadcode][CWE-570] condition 'T13_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1805:7-1805:17)
[Warning][Deadcode][CWE-570] condition 'T10_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1341:7-1341:17)
[Warning][Deadcode][CWE-571] condition 't3_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:929:7-929:16)
[Warning][Deadcode][CWE-570] condition 'E_M == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1810:7-1810:15)
[Warning][Deadcode][CWE-570] condition 'T11_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1346:7-1346:17)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1815:7-1815:15)
[Warning][Deadcode][CWE-570] condition 'T12_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1351:7-1351:17)
[Warning][Deadcode][CWE-571] condition 't4_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:934:7-934:16)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1820:7-1820:15)
[Warning][Deadcode][CWE-570] condition 'T13_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1356:7-1356:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:435:10-435:11)
[Warning][Deadcode][CWE-571] condition 't5_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:939:7-939:16)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1825:7-1825:15)
[Warning][Deadcode][CWE-570] condition 'E_M == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1361:7-1361:15)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1830:7-1830:15)
[Warning][Deadcode][CWE-570] condition 'E_1 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1366:7-1366:15)
[Warning][Deadcode][CWE-571] condition 't6_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:944:7-944:16)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1835:7-1835:15)
[Warning][Deadcode][CWE-570] condition 'E_2 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1371:7-1371:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:183:10-183:11)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1840:7-1840:15)
[Warning][Deadcode][CWE-570] condition 'E_3 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1376:7-1376:15)
[Warning][Deadcode][CWE-571] condition 't7_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:949:7-949:16)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1845:7-1845:15)
[Warning][Deadcode][CWE-570] condition 'E_4 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1381:7-1381:15)
[Warning][Deadcode][CWE-571] condition 't8_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:954:7-954:16)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1850:7-1850:15)
[Warning][Deadcode][CWE-570] condition 'E_5 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1386:7-1386:15)
[Warning][Deadcode][CWE-571] condition 't9_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:463:9-463:19)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1855:7-1855:15)
[Warning][Deadcode][CWE-570] condition 'E_6 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1391:7-1391:15)
[Warning][Deadcode][CWE-571] condition 't9_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:959:7-959:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:471:10-471:11)
[Warning][Deadcode][CWE-570] condition 'E_10 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1860:7-1860:16)
[Warning][Deadcode][CWE-570] condition 'E_7 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1396:7-1396:15)
[Warning][Deadcode][CWE-571] condition 't2_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:211:9-211:19)
[Warning][Deadcode][CWE-570] condition 'E_11 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1865:7-1865:16)
[Warning][Deadcode][CWE-570] condition 'E_8 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1401:7-1401:15)
[Warning][Deadcode][CWE-571] condition 't10_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:964:7-964:17)
[Warning][Deadcode][CWE-570] condition 'E_12 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1870:7-1870:16)
[Warning][Deadcode][CWE-570] condition 'E_9 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1406:7-1406:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:219:10-219:11)
[Warning][Deadcode][CWE-571] condition 't11_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:969:7-969:17)
[Warning][Deadcode][CWE-570] condition 'E_13 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1875:7-1875:16)
[Warning][Deadcode][CWE-570] condition 'E_10 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1411:7-1411:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:579:10-579:11)
[Warning][Deadcode][CWE-570] condition 'E_11 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1416:7-1416:16)
[Warning][Deadcode][CWE-571] condition 't12_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:974:7-974:17)
[Warning][Deadcode][CWE-570] condition 'E_12 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1421:7-1421:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:327:10-327:11)
[Warning][Deadcode][CWE-570] condition 'E_13 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1426:7-1426:16)
[Warning][Deadcode][CWE-571] condition 't13_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:979:7-979:17)
[Warning][Deadcode][CWE-570] condition 'M_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1439:7-1439:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1444:7-1444:16)
[Warning][Deadcode][CWE-571] condition 't13_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:607:9-607:20)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1449:7-1449:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:615:10-615:11)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1454:7-1454:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1459:7-1459:16)
[Warning][Deadcode][CWE-571] condition 't6_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:355:9-355:19)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:1464:7-1464:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/token_ring.13.cil-1.c:363:10-363: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
