run_reference_checker
Execute the bundled cone-of-influence baseline over the whole benchmark corpus to generate reference verification results for hardware security properties.
Instructions
Run the bundled cone-of-influence baseline over the whole benchmark corpus.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||