[ 0:01] | load /home/xrockai/src/divine/nightly/test/ext-pv264/2016-hw02/solution.cpp solution.cpp [ 0:01] | load /home/xrockai/src/divine/nightly/test/ext-pv264/2016-hw02/heap.h heap.h [ 0:01] | load /home/xrockai/src/divine/nightly/test/ext-pv264/2016-hw02/heaptest.hpp heaptest.hpp [ 0:01] | load /home/xrockai/src/divine/nightly/test/ext-pv264/2016-hw02/catch.hpp catch.hpp [ 0:01] | expect --result valid [ 0:01] | cc -o testcase.bc -std=c++14 solution.cpp [ 0:01] | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --leakcheck exit -o nofail:malloc testcase.bc --use-colour no [ 0:01] compiling solution.cpp [ 0:01] loading bitcode … DiOS … LART … RR … constants … done [ 1:01] booting … done [ 1:01] states per second: 233.516 [ 1:15] state count: 3145 [ 1:15] mips: 0.22 [ 1:15] error found: no