ignore synthetic objects in Object2DescriptorConverter

vorpal-research · Feb 8, 2024 · d028f0e · d028f0e
1 parent 83b655f
commit d028f0e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
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
@@ -30,7 +30,9 @@ private val maxGenerationDepth by lazy {
 private val maxArrayLength by lazy {
     kexConfig.getIntValue("reanimator", "maxArrayLength", 10_000)
 }
-
+private val ignoreSyntheticObjects by lazy {
+    kexConfig.getBooleanValue("reanimator", "ignoreSyntheticObjects", false)
+}
 
 class Object2DescriptorConverter : DescriptorBuilder() {
     private val objectToDescriptor = IdentityHashMap<Any, Descriptor>()
@@ -184,6 +186,8 @@ class Object2DescriptorConverter : DescriptorBuilder() {
         if (depth > maxGenerationDepth) return `null`
 
         val klass = any.javaClass
+        if (klass.isSynthetic) return `null`
+
         val kexClass = klass.kex as KexClass
         val result = `object`(kexClass)
         objectToDescriptor[any] = result

diff --git a/kex.ini b/kex.ini
@@ -45,6 +45,7 @@ maxSearchDepth = 1000
 maxGenerationDepth = 100
 maxConversionDepth = 10
 useRecursiveConstructors = false
+ignoreSyntheticObjects = true
 
 [easy-random]
 seed = 3735928559