Skip to main content
POST
Advance simulation and evaluate assertions

Body

application/json

Request body for POST /probe.

ticks
integer<int64>
required

Number of ticks to advance before evaluating assertions.

Required range: x >= 0
assertions
string[] | null

Optional subset of assertion names to evaluate (all, if omitted).

snapshot_after
boolean | null

Capture a snapshot after advancing.

snapshot_before
boolean | null

Capture a snapshot before advancing.

Response

200 - application/json

Simulation advanced + assertions evaluated in one call.