#!/bin/bash
set -euo pipefail

ROOT="${PRUVA_ROOT:-$(cd "$(dirname "$0")/.." && pwd)}"
LOGS="$ROOT/logs"
REPRO_DIR="$ROOT/repro"
mkdir -p "$LOGS"
mkdir -p "$REPRO_DIR"

export PRUVA_ROOT="$ROOT"
export LOGS="$LOGS"
export REPRO_DIR="$REPRO_DIR"

python3 "$REPRO_DIR/repro.py" "$@" 2>&1 | tee "$LOGS/reproduction_steps.log"
exit "${PIPESTATUS[0]}"