From 927a3b989eea6a7f20e81d1ff1b66dbf5fef9750 Mon Sep 17 00:00:00 2001 From: tochilinak Date: Wed, 7 Feb 2024 11:26:52 +0300 Subject: [PATCH] small fix --- .../machine/ps/strategies/impls/DelayedForkByInstruction.kt | 4 ++++ 1 file changed, 4 insertions(+) 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(