Added loggers for dropped states

CaelmBleidd · CaelmBleidd · commit 207c0817debc · 2022-06-07T18:38:23.000+03:00
diff --git a/utbot-framework/src/main/kotlin/org/utbot/engine/ExecutionState.kt b/utbot-framework/src/main/kotlin/org/utbot/engine/ExecutionState.kt
@@ -251,14 +251,21 @@ data class ExecutionState(
      */
     fun prettifiedPathLog(): String {
         val path = fullPath()
-        val prettifiedPath = path.joinToString(separator = "\n") { (stmt, depth, decision) ->
+        val prettifiedPath = prettifiedPath(path)
+        return " MD5(path)=${md5(prettifiedPath)}\n$prettifiedPath"
+    }
+
+    private fun md5(prettifiedPath: String) = prettifiedPath.md5()
+
+    fun md5() = prettifiedPath(fullPath()).md5()
+
+    private fun prettifiedPath(path: List<Step>) =
+        path.joinToString(separator = "\n") { (stmt, depth, decision) ->
             val prefix = when (decision) {
-                CALL_DECISION_NUM -> "call[${depth}] - " + "".padEnd(2*depth, ' ')
-                RETURN_DECISION_NUM -> " ret[${depth - 1}] - " + "".padEnd(2*depth, ' ')
-                else -> "          "+"".padEnd(2*depth, ' ')
+                CALL_DECISION_NUM -> "call[${depth}] - " + "".padEnd(2 * depth, ' ')
+                RETURN_DECISION_NUM -> " ret[${depth - 1}] - " + "".padEnd(2 * depth, ' ')
+                else -> "          " + "".padEnd(2 * depth, ' ')
             }
             "$prefix$stmt"
         }
-        return " MD5(path)=${prettifiedPath.md5()}\n$prettifiedPath"
-    }
 }
diff --git a/utbot-framework/src/main/kotlin/org/utbot/engine/selectors/strategies/DistanceStatistics.kt b/utbot-framework/src/main/kotlin/org/utbot/engine/selectors/strategies/DistanceStatistics.kt
@@ -4,6 +4,7 @@ import org.utbot.engine.Edge
 import org.utbot.engine.ExecutionState
 import org.utbot.engine.InterProceduralUnitGraph
 import org.utbot.engine.isReturn
+import org.utbot.engine.pathLogger
 import org.utbot.engine.stmts
 import kotlin.math.min
 import kotlinx.collections.immutable.PersistentList
@@ -38,8 +39,17 @@ class DistanceStatistics(
      * Drops executionState if all the edges on path are covered (with respect to uncovered
      * throw statements of the methods they belong to) and there is no reachable and uncovered statement.
      */
-    override fun shouldDrop(state: ExecutionState) =
-        state.edges.all { graph.isCoveredWithAllThrowStatements(it) } && distanceToUncovered(state) == Int.MAX_VALUE
+    override fun shouldDrop(state: ExecutionState): Boolean {
+        val shouldDrop = state.edges.all { graph.isCoveredWithAllThrowStatements(it) } && distanceToUncovered(state) == Int.MAX_VALUE
+
+        if (shouldDrop) {
+            pathLogger.debug {
+                "Dropping state (lastStatus=${state.solver.lastStatus}) by the distance statistics. MD5: ${state.md5()}"
+            }
+        }
+
+        return shouldDrop
+    }
 
     fun isCovered(edge: Edge): Boolean = graph.isCovered(edge)
 
diff --git a/utbot-framework/src/main/kotlin/org/utbot/engine/selectors/strategies/EdgeVisitCountingStatistics.kt b/utbot-framework/src/main/kotlin/org/utbot/engine/selectors/strategies/EdgeVisitCountingStatistics.kt
@@ -3,6 +3,7 @@ package org.utbot.engine.selectors.strategies
 import org.utbot.engine.Edge
 import org.utbot.engine.ExecutionState
 import org.utbot.engine.InterProceduralUnitGraph
+import org.utbot.engine.pathLogger
 import soot.jimple.Stmt
 import soot.jimple.internal.JReturnStmt
 import soot.jimple.internal.JReturnVoidStmt
@@ -31,7 +32,16 @@ class EdgeVisitCountingStatistics(
      * - all statements are already covered and execution is complete
      */
     override fun shouldDrop(state: ExecutionState): Boolean {
-        return state.edges.all { graph.isCoveredWithAllThrowStatements(it) } && state.isComplete()
+        val shouldDrop = state.edges.all { graph.isCoveredWithAllThrowStatements(it) } && state.isComplete()
+
+        if (shouldDrop) {
+            pathLogger.debug {
+                "Dropping state (lastStatus=${state.solver.lastStatus}) " +
+                        "by the edge visit counting statistics. MD5: ${state.md5()}"
+            }
+        }
+
+        return shouldDrop
     }
 
     /**
diff --git a/utbot-framework/src/main/kotlin/org/utbot/engine/selectors/strategies/StepsLimitStoppingStrategy.kt b/utbot-framework/src/main/kotlin/org/utbot/engine/selectors/strategies/StepsLimitStoppingStrategy.kt
@@ -3,6 +3,7 @@ package org.utbot.engine.selectors.strategies
 import org.utbot.engine.Edge
 import org.utbot.engine.ExecutionState
 import org.utbot.engine.InterProceduralUnitGraph
+import org.utbot.engine.pathLogger
 
 /**
  * Stopping strategy that suggest to stop execution
@@ -16,7 +17,13 @@ class StepsLimitStoppingStrategy(
     private var stepsCounter: Int = 0
 
     override fun shouldStop(): Boolean {
-        return stepsCounter > stepsLimit
+        val shouldDrop = stepsCounter > stepsLimit
+
+        if (shouldDrop) {
+            pathLogger.debug { "Steps limit has been exceeded: current step limit is $stepsLimit" }
+        }
+
+        return shouldDrop
     }
 
     override fun onVisit(edge: Edge) {
