check.param.seed¶
Produces deterministic i64 seeds for randomized generators.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | — |
| Traits | UnknownEffects, HasAnyAncestor(check.case, check.scenario) |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Result | result |
integer |
required | — |
| Attribute | base |
i64 | required | — |
| Attribute | count |
i64 | required | — |
| Attribute | param_name |
string | optional | — |