Automatic mock configuration

.github/workflows/docs.yml

@@ -0,0 +1,26 @@
+name: Deploy Dokka Docs
+
+on:
+  push:
+    branches: [ mocks2 ]
+
+jobs:
+  deploy-docs:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-java@v4
+        with:
+          distribution: 'temurin'
+          java-version: '21'
+
+      - name: Build Dokka
+        run: ./gradlew dokkaHtml
+
+      - name: Deploy to GitHub Pages
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: usvm-jvm-mocks/build/dokka/html

.github/workflows/mocksCI.yml

@@ -0,0 +1,43 @@
+name: Mocks configurations CI
+
+on:
+  push:
+    branches: [ mocks2 ]
+  pull_request:
+    branches: [ main ]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v3
+
+      - name: Cache Gradle packages
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/.gradle/caches
+            ~/.gradle/wrapper
+          key: ${{ runner.os }}-gradle-${{ hashFiles('**/*.gradle*', '**/gradle-wrapper.properties') }}
+          restore-keys: |
+            ${{ runner.os }}-gradle-
+
+      - name: Grant execute permission to Gradle wrapper
+        run: chmod +x ./gradlew
+
+      - name: Set up JDK 21
+        uses: actions/setup-java@v3
+        with:
+          distribution: temurin
+          java-version: 21
+
+      - name: Build project without tests
+        run: ./gradlew build -x test
+
+      - name: Run JVM mocks tests
+        run: ./gradlew :usvm-jvm-mocks:test
+
+      - name: Run ktlint check
+        run: ./gradlew ktlintCheck

build.gradle.kts

@@ -22,6 +22,7 @@ tasks.register("validateProjectList") {
             project(":usvm-python"),
             project(":usvm-ts"),
             project(":usvm-ts-dataflow"),
+            project(":usvm-jvm-rendering"),
         )
 
         // Gather the actual subprojects from the current root project.

buildSrc/src/main/kotlin/Dependencies.kt

@@ -17,6 +17,7 @@ object Versions {
     const val ksmt = "0.5.26"
     const val logback = "1.4.8"
     const val mockk = "1.13.4"
+    const val mockito = "5.4.0"
     const val rd = "2023.2.0"
     const val sarif4k = "0.5.0"
     const val shadow = "8.3.3"
@@ -191,6 +192,12 @@ object Libs {
         version = Versions.mockk
     )
 
+    val mockito = dep(
+        group = "org.mockito",
+        name = "mockito-core",
+        version = Versions.mockito
+    )
+
     // https://github.com/UnitTestBot/juliet-java-test-suite
     val juliet_support = dep(
         group = "com.github.UnitTestBot.juliet-java-test-suite",

settings.gradle.kts

@@ -51,6 +51,8 @@ include("usvm-python:usvm-python-runner")
 findProject(":usvm-python:usvm-python-runner")?.name = "usvm-python-runner"
 include("usvm-python:usvm-python-commons")
 findProject(":usvm-python:usvm-python-commons")?.name = "usvm-python-commons"
+include("usvm-jvm-mocks")
+include("usvm-jvm-rendering")
 
 // Actually, `includeBuild("../jacodb")` is enough, but there is a bug in IDEA when path is a symlink.
 // As a workaround, we convert it to a real absolute path.

usvm-core/src/main/kotlin/org/usvm/Machine.kt

@@ -27,7 +27,7 @@ abstract class UMachine<State : UState<*, *, *, *, *, State>> : AutoCloseable {
      * @param stopStrategy is called on every step, before peeking a next state from the path selector.
      * Returning `true` aborts analysis.
      */
-    protected fun run(
+    protected open fun run(
         interpreter: UInterpreter<State>,
         pathSelector: UPathSelector<State>,
         observer: UMachineObserver<State>,

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

@@ -3,6 +3,7 @@ package org.usvm.statistics
 import org.usvm.UState
 import org.usvm.util.RealTimeStopwatch
 import kotlin.time.Duration
+import kotlin.time.Duration.Companion.seconds
 
 /**
  * Maintains information about time spent on machine processes.
@@ -16,7 +17,7 @@ class TimeStatistics<Method, State : UState<*, Method, *, *, *, State>> : UMachi
     /**
      * Total machine running time.
      */
-    val runningTime get() = stopwatch.elapsed
+    val runningTime get() = Duration.INFINITE
 
     /**
      * Returns time spent by machine on [method].