./goblint --conf conf/svcomp24.json --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:438:3-462:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:471:5-486:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:509:3-527:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:528:3-531:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:551:5-556:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:561:5-564:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:586:5-589:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:611:3-614:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3-666:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:763:3-768:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:838:3-841:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:845:3-849:3 with factor 8
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:943:15-951:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:965:11-1008:11 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1011:11-1030:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1033:11-1074:11 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1077:11-1085:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1088:11-1100:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1103:11-1114:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1117:11-1131:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1162:23-1171:23 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1182:21-1190:21 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1200:23-1208:23 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1250:11-1289:11 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1292:11-1310:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1313:11-1325:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1328:11-1338:11 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1341:11-1352:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1355:11-1374:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1449:3-1462:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1513:7-1529:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1647:5-1663:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1692:3-1699:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1708:3-1715:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1722:5-1732:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1779:3-1782:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1788:3-1792:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1802:3-1805:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1834:3-1866:3 with factor 1
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 49
functionCalls: 632
loops: 56
loopBreaks: 0
controlFlowStatements: 2304
expressions: 12074
instructions: 1757
integralVars: (16,133)
arrayVars: (3,11)
pointerVars: (5,81)

Complexity estimates:
File: 11419060
malloc wrapper: matchPrompt
math function -> enabling tmpSpecial analysis and floating-point domain
Total: 11419060
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1708:10-1708:31!

runtime: 00:00:00.135
vars: 188, evals: 231

|rho|=188
|stable|=137
|infl|=134
|wpoint|=0
|sides|=23
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158
|called|=54
Found 2 contexts for 2 functions. Top 5 functions:
1	contexts for L:entry state of load_binary (830) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1670:1-1741:1
1	contexts for L:entry state of main (845) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1742:1-1875:1

Memory statistics: total=144.47MB, max=12.68MB, minor=140.73MB, major=15.09MB, promoted=11.34MB
    minor collections=70  major collections=6 compactions=0


Fatal error: exception Failure("ill-typed program")
