score_benchmark_submission
Grade a set of verdicts against the benchmark, distinguishing unsound (safe but leaky) from imprecise ones to flag vulnerabilities.
Instructions
Grade a set of verdicts against the benchmark. Reports unsound verdicts (said safe, is leaky) separately from imprecise ones, because only the first kind ships a vulnerability.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| verdicts | Yes | fixture file name -> CONSTANT_TIME | LEAKY | UNKNOWN |