check.expect.event
← check dialect
Requires a structured runtime event matching a provider-specific subset pattern.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, HasAncestor(check.case) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Attribute |
provider |
string |
required |
— |
| Attribute |
attrs |
dict |
optional |
— |
Examples
check.expect.event<device> {type = "asan_report", count = 1}
check.expect.event<device> {type = "tsan_report", tsan = {memory = "workgroup", current_access = "write", prior_access = "write"}}