fix klee path for method

Author: Lana243

server/src/KleeRunner.cpp

@@ -318,9 +318,7 @@ void KleeRunner::processBatchWithInteractive(const std::vector<tests::TestMethod
         ExecUtils::throwIfCancelled();
 
         for (const auto &method : testMethods) {
-            std::string kleeMethodName =
-                KleeUtils::entryPointFunction(tests, method.methodName, true);
-            fs::path newKleeOut = kleeOut / kleeMethodName;
+            fs::path newKleeOut = getKleeMethodOutFile(method);
             MethodKtests ktestChunk;
             processMethod(ktestChunk, tests, newKleeOut, method);
             ktests.push_back(ktestChunk);