kw seeds
Contextual keyword — tests (§18)
The list of words: §1.4
Syntax
ClusterClause = "seeds" Expr | "port" IntLit | "trace_sample" FloatLit | "auth" Block | "defaults" "{" { Ident Expr } "}"
| "role" Ident "{" RoleClause { ( ";" | NL ) RoleClause } "}"
| "assign" "by" Expr { "else" Expr } ;Test = "test" [ TestKind ] StrLit [ "with" EnvList ] [ "seeds" Expr ] Block ;Grammar: App. A
Defined in
- 12.1 Cluster declaration — A program has at most one cluster.
- 1.4 Keywords — Reserved (cannot be used as names)
- 18.1 Test declaration — Form: attributes* test kind?
- 18.4 Simulation — In sim the scheduler, network, clocks, randomness and disk failures are deterministic; the result depends only on the seed.
Examples
test sim "checkout under faults" seeds 1..=500 {
net.partition(["api"], ["storage"], for: 2s)
net.latency(10ms..300ms)
node.kill("saga-0") after 1s
clock.advance(1h)
assert checkout(cart) is Order | PayError
}Related diagnostics
actor-not-hosted, cluster-auth, cluster-decl, cluster-needs, cluster-seeds, placement-conflict, saga-without-role, service-not-served, topic-without-journal, unknown-role, test-decl