check.trial
← check dialect
Finite runtime trial domain. Each evaluation materializes one recipe and ends in exactly one comparison or target-only invocation.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, HasParent(check.scenario) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Attribute |
trial_count |
i64 |
required |
Number of trials in this finite runtime domain. |
| Region |
body |
region |
required |
Runtime input and mutable-state recipe. (single block.) |
Examples
check.trial[32](%trial: index, %entropy: check.entropy) {
check.invoke<@subject>() : () -> ()
}