diff --git a/usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/ps/strategies/impls/DelayedForkByInstruction.kt b/usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/ps/strategies/impls/DelayedForkByInstruction.kt index 9da9080bdd..88eedc15d5 100644 --- a/usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/ps/strategies/impls/DelayedForkByInstruction.kt +++ b/usvm-python/usvm-python-main/src/main/kotlin/org/usvm/machine/ps/strategies/impls/DelayedForkByInstruction.kt @@ -63,6 +63,8 @@ object ServeNewDelayedForkByInstruction: DelayedForkByInstructionAction(ServeNew random: Random ): PyPathSelectorAction = MakeDelayedFork(chooseDelayedFork(graph, predicate, random)) + + override fun toString(): String = "ServeNewDelayedForkByInstruction" } object ServeOldDelayedForkByInstruction: DelayedForkByInstructionAction(ServeOldDelayedFork.weight) { @@ -78,6 +80,8 @@ object ServeOldDelayedForkByInstruction: DelayedForkByInstructionAction(ServeOld random: Random ): PyPathSelectorAction = MakeDelayedFork(chooseDelayedFork(graph, predicate, random)) + + override fun toString(): String = "ServeOldDelayedForkByInstruction" } class DelayedForkByInstructionGraph(