corecheck/tests/filter_stderr

#! /bin/sh

dir=`dirname $0`

$dir/../../tests/filter_stderr_basic |

# Remove "Corecheck, ..." line and the following copyright line.
sed "/^Corecheck, a rudimentary error detector./ , /./ d"