Skip to main content
POST
/
probe
advance simulation and evaluate assertions
curl --request POST \
  --url http://localhost:3917/probe \
  --header 'Content-Type: application/json' \
  --data '
{
  "ticks": 1,
  "assertions": [
    "<string>"
  ],
  "snapshot_after": true,
  "snapshot_before": true
}
'

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.