Remove 'createVerifier' extension function

JetBrains · Oct 8, 2024 · 421a399 · 421a399
1 parent b4d63ed
commit 421a399
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt
@@ -156,9 +156,6 @@ class LinChecker(private val testClass: Class<*>, options: Options<*, *>?) {
             stateRepresentationMethod = testStructure.stateRepresentation,
         )
 
-    private fun CTestConfiguration.createVerifier() =
-        verifierClass.getConstructor(Class::class.java).newInstance(sequentialSpecification)
-
     private fun CTestConfiguration.createExecutionGenerator(randomProvider: RandomProvider): ExecutionGenerator {
         if (iterations > 0) {
             checkAtLeastOneMethodIsMarkedAsOperation(testClass)