[ 0:01] | load /var/obj/divine-nightly/semidbg/test/_expand/bricks/shmem.bt/utils_startdetectorsimple.sim_oom.cpp utils_startdetectorsimple.sim_oom.cpp [ 0:01] | load /home/xrockai/src/divine/nightly/bricks/brick-unittest /home/xrockai/src/divine/nightly/bricks/brick-unittest [ 0:01] | load /home/xrockai/src/divine/nightly/bricks/brick-assert /home/xrockai/src/divine/nightly/bricks/brick-assert [ 0:01] | load /home/xrockai/src/divine/nightly/bricks/brick-trace /home/xrockai/src/divine/nightly/bricks/brick-trace [ 0:01] | load /home/xrockai/src/divine/nightly/bricks/brick-min /home/xrockai/src/divine/nightly/bricks/brick-min [ 0:01] | load /home/xrockai/src/divine/nightly/bricks/brick-shmem /home/xrockai/src/divine/nightly/bricks/brick-shmem [ 0:01] | expect --result valid [ 0:01] | cc -o testcase.bc -std=c++14 -std=c++17 -I/home/xrockai/src/divine/nightly/bricks/ utils_startdetectorsimple.sim_oom.cpp [ 0:01] | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --leakcheck exit -o nofail:malloc testcase.bc " brick::t_shmem::Utils::startDetectorSimple" [ 0:01] compiling utils_startdetectorsimple.sim_oom.cpp [ 0:01] loading bitcode … DiOS … LART … RR … constants … done [ 0:11] booting … done [ 0:11] searching: 21577 states in 1:00, avg 359.6/s @ 466.2 kips, queued: 220 [ 1:11] searching: 39170 states in 2:00, avg 326.4/s @ 461.4 kips, queued: 288 [ 2:11] searching: 55502 states in 3:00, avg 308.3/s @ 467.4 kips, queued: 298 [ 3:11] searching: 69301 states in 4:00, avg 288.7/s @ 464.8 kips, queued: 246 [ 4:11] searching: 81299 states in 5:00, avg 271.0/s @ 465.6 kips, queued: 146 [ 5:11] searching: 92847 states in 6:00, avg 257.9/s @ 464.3 kips, queued: 104 [ 6:11] searching: 102882 states in 7:00, avg 245.0/s @ 466.5 kips, queued: 52 [ 7:11] searching: 113993 states in 8:00, avg 237.5/s @ 466.7 kips, queued: 40 [ 8:11] searching: 127088 states in 9:00, avg 235.3/s @ 465.4 kips, queued: 84 [ 9:11] states per second: 227.214 [ 9:42] state count: 129702 [ 9:42] mips: 0.47 [ 9:42] error found: no