self-review

vorpal-research · Apr 18, 2024 · b9ef8e3 · b9ef8e3
1 parent 8a5a99f
commit b9ef8e3
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 15 deletions.
diff --git a/kex-core/src/main/kotlin/org/vorpal/research/kex/asm/transform/SymbolicTraceInstrumenter.kt b/kex-core/src/main/kotlin/org/vorpal/research/kex/asm/transform/SymbolicTraceInstrumenter.kt
@@ -53,7 +53,6 @@ import org.vorpal.research.kfg.type.listType
 import org.vorpal.research.kfg.type.objectType
 import org.vorpal.research.kfg.type.stringType
 import org.vorpal.research.kfg.visitor.MethodVisitor
-import org.vorpal.research.kthelper.logging.log
 
 class SymbolicTraceInstrumenter(
     override val cm: ClassManager,
@@ -868,8 +867,6 @@ class SymbolicTraceInstrumenter(
 
     private fun resetCollector(): Instruction {
         val resetMethod = collectorClass.getMethod("resetConverter", types.voidType)
-        log.debug("resetCollector")
-        log.debug(resetMethod.toString())
         return collectorClass.interfaceCall(resetMethod, traceCollector, listOf())
     }
 

diff --git a/kex-core/src/main/kotlin/org/vorpal/research/kex/descriptor/converter.kt b/kex-core/src/main/kotlin/org/vorpal/research/kex/descriptor/converter.kt
@@ -35,7 +35,7 @@ private val ignoreSyntheticObjects by lazy {
 }
 
 class Object2DescriptorConverter : DescriptorBuilder() {
-    var objectToDescriptor = IdentityHashMap<Any, Descriptor>()
+    private val objectToDescriptor = IdentityHashMap<Any, Descriptor>()
 
     fun type(any: Any?): KexType {
         if (any == null) return KexNull()

diff --git a/kex-test/pom.xml b/kex-test/pom.xml
@@ -26,11 +26,6 @@
             <artifactId>kotlin-stdlib</artifactId>
             <version>${kotlin.version}</version>
         </dependency>
-        <dependency>
-            <groupId>junit</groupId>
-            <artifactId>junit</artifactId>
-            <version>4.13.2</version>
-        </dependency>
         <dependency>
             <groupId>org.jetbrains.kotlin</groupId>
             <artifactId>kotlin-test</artifactId>
@@ -42,12 +37,6 @@
             <artifactId>kex-intrinsics</artifactId>
             <version>${kex-intrinsics.version}</version>
         </dependency>
-        <dependency>
-            <groupId>org.testng</groupId>
-            <artifactId>testng</artifactId>
-            <version>7.9.0</version>
-            <scope>test</scope>
-        </dependency>
     </dependencies>
 
     <repositories>