Merge pull request #111 from AndreiIurko/new_path_selector

New path selector
vorpal-research · Jun 24, 2024 · b74e720 · b74e720
2 parents 91b4e3a + e0103a8
commit b74e720
Show file tree

Hide file tree

Showing 3 changed files with 1,393 additions and 0 deletions.
diff --git a/...c/main/kotlin/org/vorpal/research/kex/asm/analysis/concolic/InstructionConcolicChecker.kt b/...c/main/kotlin/org/vorpal/research/kex/asm/analysis/concolic/InstructionConcolicChecker.kt
@@ -17,6 +17,7 @@ import org.vorpal.research.kex.ExecutionContext
 import org.vorpal.research.kex.asm.analysis.concolic.bfs.BfsPathSelectorManager
 import org.vorpal.research.kex.asm.analysis.concolic.cgs.ContextGuidedSelectorManager
 import org.vorpal.research.kex.asm.analysis.concolic.coverage.CoverageGuidedSelectorManager
+import org.vorpal.research.kex.asm.analysis.concolic.weighted.WeightedPathSelectorManager
 import org.vorpal.research.kex.asm.analysis.util.analyzeOrTimeout
 import org.vorpal.research.kex.asm.analysis.util.checkAsync
 import org.vorpal.research.kex.compile.CompilationException
@@ -85,6 +86,7 @@ class InstructionConcolicChecker(
             "bfs" -> BfsPathSelectorManager(ctx, targets)
             "cgs" -> ContextGuidedSelectorManager(ctx, targets)
             "coverage" -> CoverageGuidedSelectorManager(ctx, targets)
+            "weighted" -> WeightedPathSelectorManager(ctx, targets)
             else -> unreachable { log.error("Unknown type of search strategy $strategyName") }
         }