28 lines
625 B
Bash
Executable File
28 lines
625 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
usage() {
|
|
echo "usage: $0 <coverage-checker> <case-manifest> <arm-manifest> <state-root> <run-id>" >&2
|
|
}
|
|
|
|
[[ "$#" -eq 5 ]] || { usage; exit 2; }
|
|
checker="$1"
|
|
case_manifest="$2"
|
|
arm_manifest="$3"
|
|
state_root="$4"
|
|
run_id="$5"
|
|
|
|
[[ -f "$checker" ]] \
|
|
|| { echo "[fixture-suite] coverage checker missing: $checker" >&2; exit 2; }
|
|
|
|
set +e
|
|
bash "$checker" check cases "$case_manifest" "$state_root" "$run_id"
|
|
cases_status=$?
|
|
bash "$checker" check arms "$arm_manifest" "$state_root" "$run_id"
|
|
arms_status=$?
|
|
set -e
|
|
|
|
if [ "$cases_status" -ne 0 ] || [ "$arms_status" -ne 0 ]; then
|
|
exit 1
|
|
fi
|