Run one decoded trace against a resolved driver. No I/O of its own: the only effects are the ones the driver's own functions perform.
Run one decoded trace against a resolved driver. No I/O of its own: the only effects are the ones the driver's own functions perform.
(run-trace driver trace)Replay one decoded trace against a resolved driver.
The driver is data:
{:actions {"deposit" {:fn f :var v}} f takes the picks map :readers [{:fn f :var v}] f takes no arguments -> partial state :init {:fn f :var v} optional, takes nothing; before step 0 :halt {:fn f :var v} optional, run in a finally :ignore #{:lastError} spec variables not compared :compare {:balances (fn [expected actual] ...)}}
The trace is itf/itf->trace output. Returns
{:ok? true :steps 5 :coverage {:used {...} :unused #{...}} :failure nil}
Replay stops at the first diverging step, whose :failure carries the step
index, action, picks, the handler and reader vars, the diverging part of both
states, a clojure.data/diff, and :cause when a handler threw. Divergence
is a value, not an exception.
Throws ex-info with :quint/error for a broken setup: :no-init,
:unknown-action, :anonymous-action, :state-read-failed.
Replay one decoded trace against a resolved driver.
The driver is data:
{:actions {"deposit" {:fn f :var v}} f takes the picks map
:readers [{:fn f :var v}] f takes no arguments -> partial state
:init {:fn f :var v} optional, takes nothing; before step 0
:halt {:fn f :var v} optional, run in a finally
:ignore #{:lastError} spec variables not compared
:compare {:balances (fn [expected actual] ...)}}
The trace is `itf/itf->trace` output. Returns
{:ok? true :steps 5 :coverage {:used {...} :unused #{...}} :failure nil}
Replay stops at the first diverging step, whose `:failure` carries the step
index, action, picks, the handler and reader vars, the diverging part of both
states, a `clojure.data/diff`, and `:cause` when a handler threw. Divergence
is a value, not an exception.
Throws `ex-info` with `:quint/error` for a broken setup: `:no-init`,
`:unknown-action`, `:anonymous-action`, `:state-read-failed`.cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |