0.39 — concurrent histories and direct library returns
0.39.0 adds the history format ess-history/1 and the source format ess/17, described in
the version history.
Several clients at once
Every earlier check drives a target with one client and one call at a time. ess verify conform check-history reads a run of several clients, each call with its invoke and return instants, and
searches for an order the specification's own model accepts. Each view read is held to the
consistency the view declares.
Where histories come from
The generated Go and TypeScript explorers record concurrent histories against a target and can
inject the faults a specification declares. ess verify conform import-history reads a recorded
production log through an ess-history-adapter/1 document. ess verify conform web --history
draws a failing history as client lanes.
Direct returns
returns: true in ess/17 declares that a command answers with a typed value. Authored scenarios
assert literal responses, and the Rust runner checks the actual return values.