# Command used for filtering of program output (optional)
# If turned on, program output (*.raw) is ran through this filter and the
# checkers are applied to the output of the filter (*.out).
# Command used for filtering of program output (optional)
# If turned on, program output (*.raw) is ran through this filter and the
# checkers are applied to the output of the filter (*.out).