small rework of symbolic traverser

vorpal-research · Sep 18, 2023 · 6bf3156 · 6bf3156
1 parent 3a3ffab
commit 6bf3156
Show file tree

Hide file tree

Showing 5 changed files with 160 additions and 101 deletions.
diff --git a/...er/src/main/kotlin/org/vorpal/research/kex/asm/analysis/crash/CrashReproductionChecker.kt b/...er/src/main/kotlin/org/vorpal/research/kex/asm/analysis/crash/CrashReproductionChecker.kt
@@ -209,20 +209,18 @@ abstract class AbstractCrashReproductionChecker<T>(
         }
     }
 
-    final override suspend fun traverseInstruction(inst: Instruction) {
+    final override suspend fun traverseInstruction(state: TraverserState, inst: Instruction): TraverserState? {
         if (preconditionReceiver.stoppedReceiving) {
-            currentState = null
             preconditionProvider.stopProviding()
-            return
+            return null
         }
 
         checkNewPreconditions()
         if (inst in targetInstructions) {
-            val traverserState = currentState ?: return
-            checkSetOfPreconditions(inst, traverserState, preconditionProvider.getPreconditions(inst, traverserState))
+            checkSetOfPreconditions(inst, state, preconditionProvider.getPreconditions(inst, state))
         }
 
-        super.traverseInstruction(inst)
+        return super.traverseInstruction(state, inst)
     }
 
     final override suspend fun checkIncremental(