small fix

UnitTestBot · Feb 7, 2024 · 927a3b9 · 927a3b9
1 parent 9208764
commit 927a3b9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/...hon-main/src/main/kotlin/org/usvm/machine/ps/strategies/impls/DelayedForkByInstruction.kt b/...hon-main/src/main/kotlin/org/usvm/machine/ps/strategies/impls/DelayedForkByInstruction.kt
@@ -63,6 +63,8 @@ object ServeNewDelayedForkByInstruction: DelayedForkByInstructionAction(ServeNew
         random: Random
     ): PyPathSelectorAction<BaselineDelayedForkState> =
         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<BaselineDelayedForkState> =
         MakeDelayedFork(chooseDelayedFork(graph, predicate, random))
+
+    override fun toString(): String = "ServeOldDelayedForkByInstruction"
 }
 
 class DelayedForkByInstructionGraph(