# Setup: generate the output file from the benchmark inputs.
run --input-file $INPUT --output-file $OUTPUT --allow-debug

# Test: the dim tolerance has error_in_check=true, triggering an infrastructure error.
check run --tolerances $TOLERANCES --input-file $INPUT --before $OUTPUT --after $OUTPUT --output-file $CHECK_OUTPUT
