flare/subformula_assign/run.sh

#!/usr/bin/env bash
# Assign subformulae with MIST (see README). Set paths via environment variables.
set -euo pipefail

REPO_ROOT="$(cd "$(dirname "$0")/../.." && pwd)"
SPEC_FILES="${SPEC_FILES:-${REPO_ROOT}/data/sample/data.tsv}"
OUTPUT_DIR="${OUTPUT_DIR:-${REPO_ROOT}/data/sample/subformulae}"
LABELS_FILE="${LABELS_FILE:-$SPEC_FILES}"
MAX_FORMULAE="${MAX_FORMULAE:-60}"

python assign_subformulae.py \
  --spec-files "$SPEC_FILES" \
  --output-dir "$OUTPUT_DIR" \
  --max-formulae "$MAX_FORMULAE" \
  --labels-file "$LABELS_FILE"