check.benchmark
← check dialect
Declares a named benchmark slice over a test record. The required symbol identifies the record in linking, reports, and benchmark selection.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
SymbolDefine |
Symbol contract
| Property |
Value |
| Kind |
check benchmark |
| Defining field |
benchmark |
| Interfaces |
record |
| Flags |
test only |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Attribute |
benchmark |
symbol |
required |
— |
| Attribute |
case_ref |
symbol (record) |
required |
— |
| Attribute |
attrs |
dict |
optional |
— |
Examples
check.benchmark<@gemv_sweep> @gemv_latency {m = 8, n = 96}