[ 0:00] + EXTRA_FILES=
[ 0:00] + FLAGS=
[ 0:00] + . /home/xrockai/src/divine/nightly/test/bricks/4.brick-gnuplot.bt
[ 0:00] + test -z
[ 0:00] ++ basename /home/xrockai/src/divine/nightly/test/bricks/4.brick-gnuplot.bt
[ 0:00] ++ sed 's/^[0-9u].\([^.]*\)\..*$/\1/'
[ 0:00] + TESTCASE=brick-gnuplot
[ 0:00] + cat
[ 0:00] + TESTFILE=/home/xrockai/src/divine/nightly/brick-gnuplot
[ 0:00] + test -f /home/xrockai/src/divine/nightly/brick-gnuplot
[ 0:00] + TESTFILE=/home/xrockai/src/divine/nightly/bricks/brick-gnuplot
[ 0:00] ++ grep 'namespace t_' /home/xrockai/src/divine/nightly/bricks/brick-gnuplot
[ 0:00] ++ sed 's/^.*\(t_[^ ]*\).*$/\1/'
[ 0:00] + TESTNS=
[ 0:00] + exit 200
[ 0:00] + check debris