Skip to content

ClassNotFoundException from KryoHelper.readObject when running ContestEstimator for seata-core-0.5.0 #1649

Closed
#1669
Closed
ClassNotFoundException from KryoHelper.readObject when running ContestEstimator for seata-core-0.5.0#1649
#1669
Assignees
Vassiliy-Kudryashov
Labels
comp-contest-estimatorIssue is related to contest estimatorctg-bugIssue is a bug
@alisevych

Description

@alisevych
alisevych
opened on Jan 10, 2023

Description

Running Contest Estimator log for seata-core-0.5.0:
Symbolic execution FAILED for Symbolic execution FAILED for io.seata.core.rpc.netty.RmRpcClient.sendResponse
There are 12 of ClassNotFoundExceptions for MockitoException from Concrete Executor.

To Reproduce

  1. Run the 'utbot' project in IntelliJ Idea 2022.2.4
  2. Open utbot-junit-contest/src/main/kotlin/org/utbot/contest/ContestEstimator.kt
  3. Change javaHome property to full local path to JDK 8, like "C:\\Program Files\\Amazon Corretto\\jdk1.8.0_332"
  4. Change timeLimit to 60
  5. In fun main change: projectFilter = listOf("seata-core-0.5.0")
  6. Run fun main - make sure to set JRE in Edit Configurations to JDK 8.

Expected behavior

No exceptions are supposed to be thrown from Concrete Executor.

Actual behavior

There are 12 of ClassNotFoundExceptions for MockitoException from Concrete Executor - for different classes.

Visual proofs (screenshots, logs, images)

The following test is generated:

///region Test suites for executable io.seata.core.rpc.netty.RmRpcClient.sendResponse
    
    ///region
    
    @Test
    public void testSendResponse1() throws Exception  {
        org.mockito.MockedStatic mockedStatic = null;
        try {
            Class rmRpcClientClazz = Class.forName("io.seata.core.rpc.netty.RmRpcClient");
            Logger prevLOGGER = ((Logger) getStaticFieldValue(rmRpcClientClazz, "LOGGER"));
            try {
                setStaticField(rmRpcClientClazz, "LOGGER", null);
                mockedStatic = mockStatic(org.slf4j.LoggerFactory.class);
                (mockedStatic.when(() -> org.slf4j.LoggerFactory.getLogger(any(Class.class)))).thenReturn(((Logger) null));
                RmRpcClient rmRpcClient = ((RmRpcClient) createInstance("io.seata.core.rpc.netty.RmRpcClient"));
                Object object = new Object();
                
                /* This test fails because method [io.seata.core.rpc.netty.RmRpcClient.sendResponse] produces [java.lang.NullPointerException]
                    io.seata.core.rpc.netty.RmRpcClient.sendResponse(RmRpcClient.java:404) */
                rmRpcClient.sendResponse(0L, ((String) null), object);
            } finally {
                setStaticField(RmRpcClient.class, "LOGGER", prevLOGGER);
            }
        } finally {
            mockedStatic.close();
        }
    }
    ///endregion
    
    ///endregion

Log extract:

12:17:52.085 | INFO  |  -- Remaining time budget: 44038 ms, #remaining_methods: 17, budget for method: 2590 ms, solver timeout: 1000 ms, budget for symbolic execution: 1390 ms, budget for concrete execution: 1200 ms,  -- 
12:17:52.174 | DEBUG | --new testCase collected, to generate: testIo.seata.core.rpc.netty.RmRpcClient.sendResponse1
12:17:53.484 | INFO  | |> Starting concrete execution for remaining state: io.seata.core.rpc.netty.RmRpcClient.sendResponse
12:17:53.501 | ERROR | Symbolic execution FAILED
org.utbot.instrumentation.util.InstrumentedProcessError: Error in the instrumented process |> org.utbot.instrumentation.util.ReadingFromKryoException: Reading from Kryo exception |> com.esotericsoftware.kryo.kryo5.KryoException: Error during Java deserialization.
Serialization trace:
exception (org.utbot.framework.plugin.api.UtImplicitlyThrownException)
result (org.utbot.framework.concrete.UtConcreteExecutionResult)
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer.read(JavaSerializer.java:68)
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796)
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123)
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129)
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796)
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123)
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129)
	at com.esotericsoftware.kryo.kryo5.Kryo.readClassAndObject(Kryo.java:877)
	at org.utbot.instrumentation.util.KryoHelper.readObject(KryoHelper.kt:94)
	at org.utbot.instrumentation.ConcreteExecutor$executeAsync$2.invokeSuspend(ConcreteExecutor.kt:246)
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
	at java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:515)
	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
	at java.base/java.util.concurrent.ScheduledThreadPoolExecutor$ScheduledFutureTask.run(ScheduledThreadPoolExecutor.java:304)
	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
	at java.base/java.lang.Thread.run(Thread.java:829)
Caused by: com.esotericsoftware.kryo.kryo5.KryoException: Class not found: org.mockito.exceptions.base.MockitoException
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer$ObjectInputStreamWithKryoClassLoader.resolveClass(JavaSerializer.java:88)
	at java.base/java.io.ObjectInputStream.readNonProxyDesc(ObjectInputStream.java:1997)
	at java.base/java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1864)
	at java.base/java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:2195)
	at java.base/java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1681)
	at java.base/java.io.ObjectInputStream.readObject(ObjectInputStream.java:493)
	at java.base/java.io.ObjectInputStream.readObject(ObjectInputStream.java:451)
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer.read(JavaSerializer.java:66)
	... 17 more
Caused by: java.lang.ClassNotFoundException: org.mockito.exceptions.base.MockitoException
	at java.base/java.net.URLClassLoader.findClass(URLClassLoader.java:476)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:589)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522)
	at java.base/java.lang.Class.forName0(Native Method)
	at java.base/java.lang.Class.forName(Class.java:398)
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer$ObjectInputStreamWithKryoClassLoader.resolveClass(JavaSerializer.java:86)
	... 24 more

	at org.utbot.instrumentation.util.KryoHelper.readObject(KryoHelper.kt:96)
	at org.utbot.instrumentation.ConcreteExecutor$executeAsync$2.invokeSuspend(ConcreteExecutor.kt:246)
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
	at java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:515)
	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
	at java.base/java.util.concurrent.ScheduledThreadPoolExecutor$ScheduledFutureTask.run(ScheduledThreadPoolExecutor.java:304)
	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
	at java.base/java.lang.Thread.run(Thread.java:829)
Caused by: com.esotericsoftware.kryo.kryo5.KryoException: Error during Java deserialization.
Serialization trace:
exception (org.utbot.framework.plugin.api.UtImplicitlyThrownException)
result (org.utbot.framework.concrete.UtConcreteExecutionResult)
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer.read(JavaSerializer.java:68)
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796)
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123)
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129)
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796)
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123)
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129)
	at com.esotericsoftware.kryo.kryo5.Kryo.readClassAndObject(Kryo.java:877)
	at org.utbot.instrumentation.util.KryoHelper.readObject(KryoHelper.kt:94)
	... 9 more
Caused by: com.esotericsoftware.kryo.kryo5.KryoException: Class not found: org.mockito.exceptions.base.MockitoException
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer$ObjectInputStreamWithKryoClassLoader.resolveClass(JavaSerializer.java:88)
	at java.base/java.io.ObjectInputStream.readNonProxyDesc(ObjectInputStream.java:1997)
	at java.base/java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1864)
	at java.base/java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:2195)
	at java.base/java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1681)
	at java.base/java.io.ObjectInputStream.readObject(ObjectInputStream.java:493)
	at java.base/java.io.ObjectInputStream.readObject(ObjectInputStream.java:451)
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer.read(JavaSerializer.java:66)
	... 17 more
Caused by: java.lang.ClassNotFoundException: org.mockito.exceptions.base.MockitoException
	at java.base/java.net.URLClassLoader.findClass(URLClassLoader.java:476)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:589)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522)
	at java.base/java.lang.Class.forName0(Native Method)
	at java.base/java.lang.Class.forName(Class.java:398)
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer$ObjectInputStreamWithKryoClassLoader.resolveClass(JavaSerializer.java:86)
	... 24 more

	at org.utbot.instrumentation.ConcreteExecutor.withProcess(ConcreteExecutor.kt:227) ~[main/:?]
	at org.utbot.instrumentation.ConcreteExecutor$withProcess$1.invokeSuspend(ConcreteExecutor.kt) ~[main/:?]
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) [kotlin-stdlib-1.7.20.jar:1.7.20-release-201(1.7.20)]
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) [kotlinx-coroutines-core-jvm-1.6.3.jar:?]
	at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:515) [?:?]
	at java.util.concurrent.FutureTask.run(FutureTask.java:264) [?:?]
	at java.util.concurrent.ScheduledThreadPoolExecutor$ScheduledFutureTask.run(ScheduledThreadPoolExecutor.java:304) [?:?]
	at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128) [?:?]
	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628) [?:?]
	at java.lang.Thread.run(Thread.java:829) [?:?]
Caused by: org.utbot.instrumentation.util.ReadingFromKryoException: Reading from Kryo exception |> com.esotericsoftware.kryo.kryo5.KryoException: Error during Java deserialization.
Serialization trace:
exception (org.utbot.framework.plugin.api.UtImplicitlyThrownException)
result (org.utbot.framework.concrete.UtConcreteExecutionResult)
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer.read(JavaSerializer.java:68)
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796)
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123)
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129)
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796)
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123)
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129)
	at com.esotericsoftware.kryo.kryo5.Kryo.readClassAndObject(Kryo.java:877)
	at org.utbot.instrumentation.util.KryoHelper.readObject(KryoHelper.kt:94)
	at org.utbot.instrumentation.ConcreteExecutor$executeAsync$2.invokeSuspend(ConcreteExecutor.kt:246)
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
	at java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:515)
	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
	at java.base/java.util.concurrent.ScheduledThreadPoolExecutor$ScheduledFutureTask.run(ScheduledThreadPoolExecutor.java:304)
	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
	at java.base/java.lang.Thread.run(Thread.java:829)
Caused by: com.esotericsoftware.kryo.kryo5.KryoException: Class not found: org.mockito.exceptions.base.MockitoException
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer$ObjectInputStreamWithKryoClassLoader.resolveClass(JavaSerializer.java:88)
	at java.base/java.io.ObjectInputStream.readNonProxyDesc(ObjectInputStream.java:1997)
	at java.base/java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1864)
	at java.base/java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:2195)
	at java.base/java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1681)
	at java.base/java.io.ObjectInputStream.readObject(ObjectInputStream.java:493)
	at java.base/java.io.ObjectInputStream.readObject(ObjectInputStream.java:451)
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer.read(JavaSerializer.java:66)
	... 17 more
Caused by: java.lang.ClassNotFoundException: org.mockito.exceptions.base.MockitoException
	at java.base/java.net.URLClassLoader.findClass(URLClassLoader.java:476)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:589)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:522)
	at java.base/java.lang.Class.forName0(Native Method)
	at java.base/java.lang.Class.forName(Class.java:398)
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer$ObjectInputStreamWithKryoClassLoader.resolveClass(JavaSerializer.java:86)
	... 24 more

	at org.utbot.instrumentation.util.KryoHelper.readObject(KryoHelper.kt:96) ~[main/:?]
	at org.utbot.instrumentation.ConcreteExecutor$executeAsync$2.invokeSuspend(ConcreteExecutor.kt:246) ~[main/:?]
	... 8 more
Caused by: com.esotericsoftware.kryo.kryo5.KryoException: Error during Java deserialization.
Serialization trace:
exception (org.utbot.framework.plugin.api.UtImplicitlyThrownException)
result (org.utbot.framework.concrete.UtConcreteExecutionResult)
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer.read(JavaSerializer.java:68) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.Kryo.readClassAndObject(Kryo.java:877) ~[kryo5-5.3.0.jar:?]
	at org.utbot.instrumentation.util.KryoHelper.readObject(KryoHelper.kt:94) ~[main/:?]
	at org.utbot.instrumentation.ConcreteExecutor$executeAsync$2.invokeSuspend(ConcreteExecutor.kt:246) ~[main/:?]
	... 8 more
Caused by: com.esotericsoftware.kryo.kryo5.KryoException: Class not found: org.mockito.exceptions.base.MockitoException
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer$ObjectInputStreamWithKryoClassLoader.resolveClass(JavaSerializer.java:88) ~[kryo5-5.3.0.jar:?]
	at java.io.ObjectInputStream.readNonProxyDesc(ObjectInputStream.java:1997) ~[?:?]
	at java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1864) ~[?:?]
	at java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:2195) ~[?:?]
	at java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1681) ~[?:?]
	at java.io.ObjectInputStream.readObject(ObjectInputStream.java:493) ~[?:?]
	at java.io.ObjectInputStream.readObject(ObjectInputStream.java:451) ~[?:?]
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer.read(JavaSerializer.java:66) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.Kryo.readClassAndObject(Kryo.java:877) ~[kryo5-5.3.0.jar:?]
	at org.utbot.instrumentation.util.KryoHelper.readObject(KryoHelper.kt:94) ~[main/:?]
	at org.utbot.instrumentation.ConcreteExecutor$executeAsync$2.invokeSuspend(ConcreteExecutor.kt:246) ~[main/:?]
	... 8 more
Caused by: java.lang.ClassNotFoundException: org.mockito.exceptions.base.MockitoException
	at java.net.URLClassLoader.findClass(URLClassLoader.java:476) ~[?:?]
	at java.lang.ClassLoader.loadClass(ClassLoader.java:589) ~[?:?]
	at java.lang.ClassLoader.loadClass(ClassLoader.java:522) ~[?:?]
	at java.lang.Class.forName0(Native Method) ~[?:?]
	at java.lang.Class.forName(Class.java:398) ~[?:?]
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer$ObjectInputStreamWithKryoClassLoader.resolveClass(JavaSerializer.java:86) ~[kryo5-5.3.0.jar:?]
	at java.io.ObjectInputStream.readNonProxyDesc(ObjectInputStream.java:1997) ~[?:?]
	at java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1864) ~[?:?]
	at java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:2195) ~[?:?]
	at java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1681) ~[?:?]
	at java.io.ObjectInputStream.readObject(ObjectInputStream.java:493) ~[?:?]
	at java.io.ObjectInputStream.readObject(ObjectInputStream.java:451) ~[?:?]
	at com.esotericsoftware.kryo.kryo5.serializers.JavaSerializer.read(JavaSerializer.java:66) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.Kryo.readObject(Kryo.java:796) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.ReflectField.read(ReflectField.java:123) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.serializers.FieldSerializer.read(FieldSerializer.java:129) ~[kryo5-5.3.0.jar:?]
	at com.esotericsoftware.kryo.kryo5.Kryo.readClassAndObject(Kryo.java:877) ~[kryo5-5.3.0.jar:?]
	at org.utbot.instrumentation.util.KryoHelper.readObject(KryoHelper.kt:94) ~[main/:?]
	at org.utbot.instrumentation.ConcreteExecutor$executeAsync$2.invokeSuspend(ConcreteExecutor.kt:246) ~[main/:?]
	... 8 more
12:17:53.507 | ERROR | Symbolic execution FAILED ... <<stack trace duplicated>>
12:17:53.512 | ERROR | Symbolic execution FAILED ... <<stack trace duplicated>>
12:17:53.518 | ERROR | Symbolic execution FAILED ... <<stack trace duplicated>>
12:17:53.524 | ERROR | Symbolic execution FAILED ... <<stack trace duplicated>>
12:17:53.529 | ERROR | Symbolic execution FAILED ... <<stack trace duplicated>>
12:17:53.535 | ERROR | Symbolic execution FAILED ... <<stack trace duplicated>>
12:17:53.541 | ERROR | Symbolic execution FAILED ... <<stack trace duplicated>>
12:17:53.661 | INFO  | Finished (in 1,576 sec): method io.seata.core.rpc.netty.RmRpcClient.sendResponse 
<StatsForMethod> :
	#generatedTC=1
	FAILED 8 time(s) with 1 different exception(s)"

Environment

IntelliJ IDEA 2022.2.4
JDK 8

Metadata

Metadata

Assignees

Labels

comp-contest-estimatorIssue is related to contest estimatorctg-bugIssue is a bug

Type

No type

Projects

UTBot Java

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions