[ 0:00] + EXTRA_FILES=
[ 0:00] + FLAGS=
[ 0:00] + . /home/xrockai/src/divine/nightly/test/bricks/4.brick-data.bt
[ 0:00] + test -z
[ 0:00] ++ basename /home/xrockai/src/divine/nightly/test/bricks/4.brick-data.bt
[ 0:00] ++ sed 's/^[0-9u].\([^.]*\)\..*$/\1/'
[ 0:00] + TESTCASE=brick-data
[ 0:00] + cat
[ 0:00] + TESTFILE=/home/xrockai/src/divine/nightly/brick-data
[ 0:00] + test -f /home/xrockai/src/divine/nightly/brick-data
[ 0:00] + TESTFILE=/home/xrockai/src/divine/nightly/bricks/brick-data
[ 0:00] ++ grep 'namespace t_' /home/xrockai/src/divine/nightly/bricks/brick-data
[ 0:00] ++ sed 's/^.*\(t_[^ ]*\).*$/\1/'
[ 0:00] + TESTNS=t_data
[ 0:00] + divine cc -std=c++14 -DBRICK_UNITTEST_REG -DNVALGRIND -I/home/xrockai/src/divine/nightly/bricks unittest.cpp -o unittest.bc
[ 0:00] compiling unittest.cpp
[ 0:00] In file included from unittest.cpp:5:
[ 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:06] + for NS in $TESTNS
[ 0:12] + divine verify --threads 1 -o nofail:malloc unittest.bc t_data
[ 0:12] + tee verify.out
[ 0:12] states per second: 206.959
[ 4:26] state count: 49603
[ 4:26] mips: 0.079
[ 4:26] error found: no
[ 4:26] a report was written to unittest.report
[ 4:26] + check verify /home/xrockai/src/divine/nightly/test/bricks/4.brick-data.bt
[ 4:27] + check debris