Skip to content

check.skip_if

← check dialect

Declares a provider skip predicate for exceptional environments.

Operation contract

Property Value
Semantic phase —
Traits UnknownEffects, HasAnyAncestor(check.case, check.scenario)

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")