[ 0:00] --symbolic --sequential [ 0:00] compiling /var/obj/divine-nightly/semidbg/test/_expand/svcomp/recursion/Addition01_true.pkg.c/small.100.c [ 0:00] states per second: 0.512081 [ 7:29] state count: 208 [ 7:29] mips: 0.0035 [ 7:29] symbolic: 1 [ 7:29] error found: no [ 7:29] a report was written to verify.out