Skip to content

check.skip_if

check dialect

Declares a provider skip predicate for exceptional environments.

Operation contract

Property Value
Semantic phase
Traits UnknownEffects, HasAncestor(check.case)

Signature

Kind Name Type Cardinality Description
Attribute provider string required
Attribute attrs dict required
Attribute reason string optional

Examples

check.skip_if<device.memory> {max_bytes = 1073741824} reason("fixture too large")