#!/usr/bin/env bash

set -euo pipefail

if [[ $# -ne 1 ]]; then
  echo "usage: $0 <phpunit-output>" >&2
  exit 64
fi

sed -E 's/^Time: [^,]+,/Time: <elapsed>,/' "$1"