#! /bin/sh
# tests/filter_discards.  Generated from filter_discards.in by configure.

dir=`dirname $0`

SED=sed


# Remove number and position of discards
$SED "s/discard [0-9]\+ ([0-9]\+ -> [0-9]\+) translations in range/discard ... (... -> ...) translations in range/"     |

$dir/filter_addresses
