직업 분류
소프트웨어 품질 보증 분석가·테스터
설명
Triage an Undecided verdict from a zkhydra zkbugs run. Given one bug's ground truth plus one tool's findings/raw/parsed output (optionally the circuit source at the bug's location), promote to TruePositive or FalseNegative with a justification, or confirm…
원문 언어: 영어
업데이트