Repository navigation

Write guard verdicts as JUnit evidence to a caller-named file - #388

Merged

HackingGate merged 2 commits into

mainfrom

Oct 18, 2026

Merged

Write guard verdicts as JUnit evidence to a caller-named file#388
HackingGate merged 2 commits into
mainfrom
junit-evidence

Commits on Oct 18, 2026
- Write guard verdicts as JUnit evidence to a caller-named file
  HackingGate
  committed
  47b8729
- Add --junit FILE as the flag spelling of UPHOLD_JUNIT
  HackingGate
  committed
  c7e4b1b