blob: 449556da01ff3e953f6cc424637c721b74bd2ee1 [file] [log] [blame]
#! /bin/sh
# Sometimes valgrind on amd64 prints smt_pause() instead of ???
# for the top-most stack frame. Filter it here.
./filter_stderr | \
sed -e 's/smt_pause/???/'