gui/it.unibo.tuprolog.ui.gui.persistence/toResolutionHistoryEntry

toResolutionHistoryEntry

fun PersistedResolution.toResolutionHistoryEntry(): ResolutionHistoryEntry

ResolutionStatus.COMPLETED is the safe fallback for a status name this build no longer recognizes.