#!/bin/bash
set -euo pipefail

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

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

cd "$ROOT"

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