check.scenario

← check dialect

Named differential or target-only execution scenario. An optional configuration domain evaluates the body once per compile-visible configuration; the body may contain several independent trial domains.

Operation contract

Property	Value
Semantic phase	—
Traits	SymbolDefine, IsolatedFromAbove

Symbol contract

Property	Value
Kind	check scenario
Defining field	scenario_symbol
Interfaces	record
Flags	test only

Signature

Kind	Name	Type	Cardinality	Description
Attribute	scenario_symbol	symbol	required	—
Attribute	visibility	enum Visibility	optional	—
Attribute	configuration_count	i64	optional	Number of configurations in the finite scenario domain.
Region	body	region	required	Configuration recipe and trial declarations. (single block, terminator check.return.)

Examples

check.scenario public @smoke {
  check.trial[1](%trial: index, %entropy: check.entropy) {
    check.invoke<@subject>() : () -> ()
  }
  check.return
}

check.scenario @configured configure[4](%configuration: index, %entropy: check.entropy) {
  check.trial[1](%trial: index, %trial_entropy: check.entropy) {
    check.invoke<@subject>[%configuration]() : [index]() -> ()
  }
  check.return
}