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