./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6.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] Setting "ana.int.interval" to true
[Info] function f is recursive, disable interval and interval_set contexts
[Info] function g is recursive, disable interval and interval_set contexts
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region, pthreadMutexType"
[Info] Enabled congruence domain.
[Info] Enabled widening thresholds
[Info] Enabled octagon domain ONLY for:
[Info] f, g, i, count, tmp, key, a, count, i, j, i___0, j___0, k, size, r, top, expression, a, b, tmp, tmp___0, c, d, tmp, b, a, tmp, tmp___0
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.156
[Info] vars: 15508, evals: 12917

[Info] |called|=5164

Memory statistics: total=2777.88MB, max=57.55MB, minor=2772.89MB, major=62.92MB, promoted=57.93MB
    minor collections=1327  major collections=11 compactions=0


[Info] runtime: 00:00:20.219
[Info] vars: 22333, evals: 18605

[Info] |called|=7439

Memory statistics: total=4158.73MB, max=87.53MB, minor=4152.47MB, major=88.01MB, promoted=81.75MB
    minor collections=1985  major collections=11 compactions=0


[Info] runtime: 00:00:30.253
[Info] vars: 28125, evals: 23432

[Info] |called|=9370

Memory statistics: total=5415.33MB, max=100.66MB, minor=5408.14MB, major=109.36MB, promoted=102.17MB
    minor collections=2584  major collections=13 compactions=0


[Info] runtime: 00:00:40.297
[Info] vars: 33106, evals: 27582

[Info] |called|=11030

Memory statistics: total=6558.46MB, max=115.77MB, minor=6549.76MB, major=128.47MB, promoted=119.77MB
    minor collections=3129  major collections=13 compactions=0


[Info] runtime: 00:00:50.345
[Info] vars: 37846, evals: 31532

[Info] |called|=12610

Memory statistics: total=7698.62MB, max=133.13MB, minor=7689.45MB, major=145.78MB, promoted=136.61MB
    minor collections=3673  major collections=15 compactions=0

[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6.c:26:6-26:12!

[Info] runtime: 00:00:51.426
[Info] vars: 38287, evals: 31900

[Info] |called|=12758

Memory statistics: total=7832.60MB, max=133.13MB, minor=7823.12MB, major=148.43MB, promoted=138.95MB
    minor collections=3736  major collections=15 compactions=0


Fatal error: exception Stack overflow
