[ 0:01] + EXTRA_FILES= [ 0:01] + FLAGS= [ 0:01] + . /home/xrockai/src/divine/nightly/test/bricks/4.brick-smt.bt [ 0:01] + test -z [ 0:01] ++ basename /home/xrockai/src/divine/nightly/test/bricks/4.brick-smt.bt [ 0:01] ++ sed 's/^[0-9u].\([^.]*\)\..*$/\1/' [ 0:01] + TESTCASE=brick-smt [ 0:01] + cat [ 0:01] + TESTFILE=/home/xrockai/src/divine/nightly/brick-smt [ 0:01] + test -f /home/xrockai/src/divine/nightly/brick-smt [ 0:01] + TESTFILE=/home/xrockai/src/divine/nightly/bricks/brick-smt [ 0:01] ++ grep 'namespace t_' /home/xrockai/src/divine/nightly/bricks/brick-smt [ 0:01] ++ sed 's/^.*\(t_[^ ]*\).*$/\1/' [ 0:01] + TESTNS='t_smt [ 0:01] t_smt' [ 0:01] + divine cc -std=c++14 -DBRICK_UNITTEST_REG -DNVALGRIND -I/home/xrockai/src/divine/nightly/bricks unittest.cpp -o unittest.bc [ 0:01] compiling unittest.cpp [ 0:01] In file included from unittest.cpp:5: [ 0:02] In file included from /home/xrockai/src/divine/nightly/bricks/brick-smt:38: [ 0:02] In file included from /home/xrockai/src/divine/nightly/bricks/brick-data:45: [ 0:02] /home/xrockai/src/divine/nightly/bricks/brick-types:925:77: warning: pack fold expression is a C++1z extension [ 0:02] using Union = _impl::Union< ( std::is_copy_constructible< Types >::value && ... ), Types... >; [ 0:02] ^ [ 0:02] 1 warning generated. [ 0:10] + for NS in $TESTNS [ 0:17] + divine verify --threads 1 -o nofail:malloc unittest.bc t_smt [ 0:17] + tee verify.out [ 0:17] states per second: 252.077 [ 3:39] state count: 46795 [ 3:39] mips: 0.1 [ 3:39] error found: no [ 3:39] a report was written to unittest.report [ 3:39] + for NS in $TESTNS [ 3:40] + divine verify --threads 1 -o nofail:malloc unittest.bc t_smt [ 3:40] + tee verify.out [ 3:40] states per second: 265.266 [ 6:53] state count: 46795 [ 6:53] mips: 0.11 [ 6:53] error found: no [ 6:53] a report was written to unittest.report [ 6:53] + check verify /home/xrockai/src/divine/nightly/test/bricks/4.brick-smt.bt [ 6:54] + check debris