Checkpoint file for device manager {#device-manager-state} [concept]deterministic

reference

No synthesized body available — see sources and related nodes below.