final updates

Author: seran

core/src/main/kotlin/org/evomaster/core/output/service/HttpWsTestCaseWriter.kt

@@ -859,12 +859,12 @@ abstract class HttpWsTestCaseWriter : ApiTestCaseWriter() {
     private fun handleCallbackVerifierRequests(lines: Lines, action: Action, verifier: ActionStubMapping, assertTrue: Boolean) {
         if (assertTrue) {
             lines.addSingleCommentLine("Verifying that the request is successfully made to HttpCallbackVerifier after test execution.")
-            lines.add("assertTrue(callbackVerifierHasServed(${verifier.getVerifierName()}, \"${action.getName()}\"))")
+            lines.add("assertTrue(verifierHasServedRequests(${verifier.getVerifierName()}, \"${action.getName()}\"))")
 //            lines.add("assertTrue(${verifier.getVerifierName()}")
         } else {
             lines.addSingleCommentLine("Verifying that there are no requests made to HttpCallbackVerifier before test execution.")
 //            lines.add("assertFalse(${verifier.getVerifierName()}")
-            lines.add("assertFalse(callbackVerifierHasServed(${verifier.getVerifierName()}, \"${action.getName()}\"))")
+            lines.add("assertFalse(verifierHasServedRequests(${verifier.getVerifierName()}, \"${action.getName()}\"))")
         }
 //        lines.indented {
 //            if (format.isKotlin()) {

core/src/main/kotlin/org/evomaster/core/output/service/TestSuiteWriter.kt

@@ -1154,10 +1154,10 @@ class TestSuiteWriter {
         lines.endCommentBlock()
         when {
             format.isKotlin() -> {
-                lines.add("fun callbackVerifierHasServed(verifier: WireMockServer, actionName: String) : Boolean")
+                lines.add("fun verifierHasServedRequests(verifier: WireMockServer, actionName: String) : Boolean")
             }
             format.isJava() -> {
-                lines.add("public boolean callbackVerifierHasServed(WireMockServer verifier, String actionName)")
+                lines.add("public boolean verifierHasServedRequests(WireMockServer verifier, String actionName)")
             }
         }
         lines.block {