set n = 8 as basic,

renaming
vorpal-research · Apr 26, 2024 · 6f055c3 · 6f055c3
1 parent d90eb1d
commit 6f055c3
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/...c/main/kotlin/org/vorpal/research/kex/asm/analysis/symbolic/InstructionSymbolicChecker.kt b/...c/main/kotlin/org/vorpal/research/kex/asm/analysis/symbolic/InstructionSymbolicChecker.kt
@@ -22,7 +22,7 @@ class InstructionSymbolicChecker(
     override val invokeDynamicResolver: SymbolicInvokeDynamicResolver = DefaultCallResolver(ctx)
 
     init {
-        val pathSelectorName = kexConfig.getStringValue("symbolic", "pathSelector", "sgs")
+        val pathSelectorName = kexConfig.getStringValue("symbolic", "searchStrategy", "sgs")
         val n = kexConfig.getIntValue("symbolic", "n", 2)
         pathSelector = when (pathSelectorName) {
             "bfs" -> BFS()

diff --git a/kex.ini b/kex.ini
@@ -74,7 +74,8 @@ exclude = class io.netty.buffer.ByteBuf
 timeLimit = 120
 numberOfExecutors = 8
 numberOfConcreteMethods = 3
-pathSelector = sgs
+searchStrategy = sgs
+n = 8
 
 [concolic]
 timeLimit = 120
@@ -127,8 +128,8 @@ useADSolver = false
 
 [ksmt]
 solver = z3
-; solver = cvc5
-; solver = bitwuzla
+solver = cvc5
+solver = bitwuzla
 ; solver = yices
 runners = 1
 seed = 42