Store enumValue.name in enumValueName (not enumValue.toString()) (

#102)
UnitTestBot · Dec 27, 2024 · 4c77f96 · 4c77f96
1 parent a43da92
commit 4c77f96
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/...src/main/kotlin/org/usvm/instrumentation/testcase/descriptor/Descriptor2ValueConverter.kt b/...src/main/kotlin/org/usvm/instrumentation/testcase/descriptor/Descriptor2ValueConverter.kt
@@ -96,7 +96,7 @@ class Descriptor2ValueConverter(private val workerClassLoader: ClassLoader) {
 
     private fun `enum`(descriptor: UTestEnumValueDescriptor): Any {
         val klass = descriptor.type.toJavaClass(workerClassLoader)
-        val enumValue = klass.enumConstants.find { it.toString() == descriptor.enumValueName }
+        val enumValue = klass.enumConstants.find { (it as Enum<*>).name == descriptor.enumValueName }
             ?: error("Can't build descriptor for enum")
         for ((jcField, jcFieldDescr) in descriptor.fields) {
             val jField = jcField.toJavaField(workerClassLoader) ?: continue

diff --git a/...src/main/kotlin/org/usvm/instrumentation/testcase/descriptor/Value2DescriptorConverter.kt b/...src/main/kotlin/org/usvm/instrumentation/testcase/descriptor/Value2DescriptorConverter.kt
@@ -258,11 +258,11 @@ open class Value2DescriptorConverter(
         )
     }
 
-    private fun `enum`(value: Any, depth: Int): UTestEnumValueDescriptor {
+    private fun `enum`(value: Enum<*>, depth: Int): UTestEnumValueDescriptor {
         val enumValueJcClass = jcClasspath.findClass(value::class.java.name)
         val jcClass = if (!enumValueJcClass.isEnum) enumValueJcClass.superClass!! else enumValueJcClass
         val fields = mutableMapOf<JcField, UTestValueDescriptor>()
-        val enumValueName = value.toString()
+        val enumValueName = value.name
         val jcType = jcClass.toType()
         val uTestEnumValueDescriptor =
             UTestEnumValueDescriptor(jcType, enumValueName, fields, System.identityHashCode(value))