Jc approximations infrastructure (#57)

---------

Co-authored-by: Sergey Pospelov <sergeypospelov59@gmail.com>

Author: Saloed

buildSrc/src/main/kotlin/Versions.kt

@@ -1,7 +1,7 @@
 object Versions {
     const val klogging = "1.8.3"
     const val slf4j = "1.6.1"
-    const val ksmt = "0.5.6"
+    const val ksmt = "0.5.7"
     const val collections = "0.3.5"
     const val coroutines = "1.6.4"
     const val jcdb = "1.2.0"

usvm-core/src/main/kotlin/org/usvm/statistics/CoverageStatistics.kt

@@ -67,6 +67,11 @@ class CoverageStatistics<Method, Statement, State : UState<*, Method, Statement,
         return computeCoverage(totalCoveredStatements, totalUncoveredStatements)
     }
 
+    /**
+     * Returns current number of covered statements of all initial methods.
+     */
+    fun getTotalCoveredStatements(): Int = totalCoveredStatements
+
     /**
      * Returns current coverage of specified method (in percents).
      *

usvm-core/src/main/kotlin/org/usvm/statistics/CoveredNewStatesCollector.kt

@@ -14,17 +14,17 @@ class CoveredNewStatesCollector<State>(
     private val mutableCollectedStates = mutableListOf<State>()
     val collectedStates: List<State> = mutableCollectedStates
 
-    private var previousCoverage = coverageStatistics.getTotalCoverage()
+    private var previousCoveredStatements = coverageStatistics.getTotalCoveredStatements()
 
     override fun onStateTerminated(state: State, stateReachable: Boolean) {
-        val currentCoverage = coverageStatistics.getTotalCoverage()
+        val currentCoveredStatements = coverageStatistics.getTotalCoveredStatements()
         if (isException(state)) {
             mutableCollectedStates.add(state)
             return
         }
 
-        if (stateReachable && currentCoverage > previousCoverage) {
-            previousCoverage = currentCoverage
+        if (stateReachable && currentCoveredStatements > previousCoveredStatements) {
+            previousCoveredStatements = currentCoveredStatements
             mutableCollectedStates.add(state)
         }
     }