-
Michael Reneer authored
This change promotes the capability to support user-defined classes from the concrete implementation of `FileProgramStateManager` to the abstract interface and makes it easier to write loops that contain program state containing user-defined classes. PiperOrigin-RevId: 413696492
8b8ff87a