# TAGS:
. testcase

cat > test.c <<EOF
#include <stdio.h>
#include <assert.h>
int main()
{
    fputs( "something something", stderr );
    assert( 0 );
}
EOF

try divine verify test.c | tee report.txt
fgrep '  [0] something something' report.txt
