OBSERVATION

Checkpoint scheduling envelope around a READ.

Family
Logical
Physical
JSON
Used by
3 functions
Examples
0 samples

Used by functions

Derived from generated function parameters and return types.

Returned as output

  • observation_fact

    Labels an address without reading state.

    scalar function Offline 1 overload
  • observe

    Schedules one logical keyed READ at the pre and terminal checkpoints.

    scalar function Offline 2 overloads
  • observe_after_step

    Schedules a READ at one retained post-step checkpoint.

    scalar function Offline 1 overload