Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

java.lang.IllegalStateException: No such ... found in the Scene tests #3

Closed
viktoriia-fomina opened this issue May 5, 2022 · 0 comments · Fixed by #176
Closed

java.lang.IllegalStateException: No such ... found in the Scene tests #3

viktoriia-fomina opened this issue May 5, 2022 · 0 comments · Fixed by #176
Assignees
Labels
ctg-bug Issue is a bug priority-top-focus Top priority chosen by dev team

Comments

@viktoriia-fomina
Copy link
Member

viktoriia-fomina commented May 5, 2022

15 tests are disabled but they fail and must be fixed:

  • MockWithSideEffectExampleTest.testSideEffectElimination
  • MockWithSideEffectExampleTest.testSideEffectWithoutMocks
  • MockWithSideEffectExampleTest.testStaticMethodSideEffectEliminationWithoutMocks
  • MockWithSideEffectExampleTest.testSideEffect
  • MockWithSideEffectExampleTest.testStaticMethodSideEffectElimination
  • ModelMinimizationExamplesTest.conditionCheckAEqTest
  • ModelMinimizationExamplesTest.conditionCheckANeTest
  • ModelMinimizationExamplesTest.conditionCheckBEqTest
  • ModelMinimizationExamplesTest.conditionCheckBNeTest
  • ModelMinimizationExamplesTest.conditionCheckNoNullabilityConstraintTest
  • ModelMinimizationExamplesTest.firstArrayElementContainsSentinelTest
  • ModelMinimizationExamplesTest.multipleConstraintsTest
  • ModelMinimizationExamplesTest.singleValueComparisonNotNullTest
  • ModelMinimizationExamplesTest.singleValueComparisonTest
  • SimpleClassMultiInstanceExampleTest.singleObjectChangeTest

All the tests fail with the same error type:
java.lang.IllegalStateException: No such org.utbot.examples.mock.MockWithSideEffectExample found in the Scene

testSideEffect error report java.lang.IllegalStateException: No such com.huawei.utbot.examples.mock.MockWithSideEffectExample found in the Scene at com.huawei.utbot.framework.plugin.api.UtBotTestCaseGenerator.graph(UtBotTestCaseGenerator.kt:373) at com.huawei.utbot.framework.plugin.api.UtBotTestCaseGenerator.generateAsync(UtBotTestCaseGenerator.kt:169) at com.huawei.utbot.framework.plugin.api.UtBotTestCaseGenerator.generateAsync$default(UtBotTestCaseGenerator.kt:165) at com.huawei.utbot.framework.plugin.api.UtBotTestCaseGenerator$generate$1$1.invokeSuspend(UtBotTestCaseGenerator.kt:340) at com.huawei.utbot.framework.plugin.api.UtBotTestCaseGenerator$generate$1$1.invoke(UtBotTestCaseGenerator.kt) at com.huawei.utbot.common.ConcurrencyKt$runBlockingWithCancellationPredicate$1$job$1.invokeSuspend(Concurrency.kt:39) at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106) at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:274) at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:84) at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) at com.huawei.utbot.common.ConcurrencyKt.runBlockingWithCancellationPredicate(Concurrency.kt:38) at com.huawei.utbot.framework.plugin.api.UtBotTestCaseGenerator$generate$1.invoke(UtBotTestCaseGenerator.kt:339) at com.huawei.utbot.framework.plugin.api.UtBotTestCaseGenerator$generate$1.invoke(UtBotTestCaseGenerator.kt:53) at com.huawei.utbot.common.ConcurrencyKt.runIgnoringCancellationException(Concurrency.kt:47) at com.huawei.utbot.framework.plugin.api.UtBotTestCaseGenerator.generate(UtBotTestCaseGenerator.kt:338) at com.huawei.utbot.examples.AbstractTestCaseGeneratorTest.executions(AbstractTestCaseGeneratorTest.kt:2399) at com.huawei.utbot.examples.mock.MockWithSideEffectExampleTest.testSideEffect(MockWithSideEffectExampleTest.kt:104) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:59) at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12) at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:56) at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17) at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306) at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100) at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103) at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63) at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331) at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79) at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329) at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66) at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293) at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306) at org.junit.runners.ParentRunner.run(ParentRunner.java:413) at org.junit.runner.JUnitCore.run(JUnitCore.java:137) at org.junit.runner.JUnitCore.run(JUnitCore.java:115) at org.junit.vintage.engine.execution.RunnerExecutor.execute(RunnerExecutor.java:43) at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:183) at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193) at java.util.Iterator.forEachRemaining(Iterator.java:116) at java.util.Spliterators$IteratorSpliterator.forEachRemaining(Spliterators.java:1801) at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:482) at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:472) at java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150) at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173) at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:485) at org.junit.vintage.engine.VintageTestEngine.executeAllChildren(VintageTestEngine.java:82) at org.junit.vintage.engine.VintageTestEngine.execute(VintageTestEngine.java:73) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:108) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:88) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:54) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:67) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:52) at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:96) at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:75) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.processAllTestClasses(JUnitPlatformTestClassProcessor.java:99) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.access$000(JUnitPlatformTestClassProcessor.java:79) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor.stop(JUnitPlatformTestClassProcessor.java:75) at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.stop(SuiteTestClassProcessor.java:61) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:36) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24) at org.gradle.internal.dispatch.ContextClassLoaderDispatch.dispatch(ContextClassLoaderDispatch.java:33) at org.gradle.internal.dispatch.ProxyDispatchAdapter$DispatchingInvocationHandler.invoke(ProxyDispatchAdapter.java:94) at com.sun.proxy.$Proxy2.stop(Unknown Source) at org.gradle.api.internal.tasks.testing.worker.TestWorker.stop(TestWorker.java:133) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:36) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24) at org.gradle.internal.remote.internal.hub.MessageHubBackedObjectConnection$DispatchWrapper.dispatch(MessageHubBackedObjectConnection.java:182) at org.gradle.internal.remote.internal.hub.MessageHubBackedObjectConnection$DispatchWrapper.dispatch(MessageHubBackedObjectConnection.java:164) at org.gradle.internal.remote.internal.hub.MessageHub$Handler.run(MessageHub.java:414) at org.gradle.internal.concurrent.ExecutorPolicy$CatchAndRecordFailures.onExecute(ExecutorPolicy.java:64) at org.gradle.internal.concurrent.ManagedExecutorImpl$1.run(ManagedExecutorImpl.java:48) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at org.gradle.internal.concurrent.ThreadFactoryImpl$ManagedThreadRunnable.run(ThreadFactoryImpl.java:56) at java.lang.Thread.run(Thread.java:750)
testSideEffect output 14:52:28.507 | INFO | CodeTestCaseGeneratorTest | Package package org.utbot.examples.mock is not fully processed yet, code generation will be tested later 15:13:14.711 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/test (Is a directory) 15:13:14.715 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/test (Is a directory) 15:13:14.721 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/test (Is a directory) 15:13:14.723 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/main (Is a directory) 15:13:14.723 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/main (Is a directory) 15:13:14.724 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/main (Is a directory) 15:13:14.770 | INFO | UtBotTestCaseGenerator | Ignoring soot initialization because parameters are the same as on previous initialization 15:13:14.796 | DEBUG | UtBotTestCaseGenerator | Starting symbolic execution for org.utbot.examples.mock.MockWithSideEffectExample.checkSideEffectElimination(ExampleClass) --Other packages: Mockito-- 15:13:14.821 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/test (Is a directory) 15:13:14.821 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/test (Is a directory) 15:13:14.822 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/test (Is a directory) 15:13:14.822 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/main (Is a directory) 15:13:14.832 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/main (Is a directory) 15:13:14.832 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/main (Is a directory) 15:13:14.863 | INFO | UtBotTestCaseGenerator | Ignoring soot initialization because parameters are the same as on previous initialization 15:13:14.865 | DEBUG | UtBotTestCaseGenerator | Starting symbolic execution for org.utbot.examples.mock.MockWithSideEffectExample.checkSideEffect(int) --No mocks-- 15:13:14.888 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/test (Is a directory) 15:13:14.888 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/test (Is a directory) 15:13:14.889 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/test (Is a directory) 15:13:14.889 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/main (Is a directory) 15:13:14.890 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/main (Is a directory) 15:13:14.890 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/main (Is a directory) 15:13:14.914 | INFO | UtBotTestCaseGenerator | Ignoring soot initialization because parameters are the same as on previous initialization 15:13:14.915 | DEBUG | UtBotTestCaseGenerator | Starting symbolic execution for org.utbot.examples.mock.MockWithSideEffectExample.checkStaticMethodSideEffectElimination(ExampleClass) --No mocks-- 15:13:14.932 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/test (Is a directory) 15:13:14.933 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/test (Is a directory) 15:13:14.934 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/test (Is a directory) 15:13:14.934 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/main (Is a directory) 15:13:14.934 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/main (Is a directory) 15:13:14.935 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/main (Is a directory) 15:13:14.953 | INFO | UtBotTestCaseGenerator | Ignoring soot initialization because parameters are the same as on previous initialization 15:13:14.971 | DEBUG | UtBotTestCaseGenerator | Starting symbolic execution for org.utbot.examples.mock.MockWithSideEffectExample.checkSideEffect(int) --Other packages: Mockito-- 15:13:14.995 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/test (Is a directory) 15:13:14.996 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/test (Is a directory) 15:13:14.998 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/test manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/test (Is a directory) 15:13:14.998 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/java/main (Is a directory) 15:13:14.999 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/classes/kotlin/main (Is a directory) 15:13:14.999 | WARN | DependencyUtils | Unexpected error during parsing /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/main manifest file java.io.FileNotFoundException: /home/runner/work/UTBotJava/UTBotJava/utbot-framework/build/resources/main (Is a directory) 15:13:15.026 | INFO | UtBotTestCaseGenerator | Ignoring soot initialization because parameters are the same as on previous initialization 15:13:15.037 | DEBUG | UtBotTestCaseGenerator | Starting symbolic execution for org.utbot.examples.mock.MockWithSideEffectExample.checkStaticMethodSideEffectElimination(ExampleClass) --Other packages: Mockito--
@viktoriia-fomina viktoriia-fomina added the ctg-bug Issue is a bug label May 5, 2022
@alexeyfridman alexeyfridman moved this to Todo in UTBot Java May 18, 2022
@alexeyfridman alexeyfridman moved this from Todo to In Progress in UTBot Java May 18, 2022
@viktoriia-fomina viktoriia-fomina changed the title Fix MockWithSideEffectExample tests Fix java.lang.IllegalStateException: No such ... found in the Scene tests May 23, 2022
@viktoriia-fomina viktoriia-fomina changed the title Fix java.lang.IllegalStateException: No such ... found in the Scene tests java.lang.IllegalStateException: No such ... found in the Scene tests May 26, 2022
@JaneEugenia JaneEugenia mentioned this issue Jun 8, 2022
25 tasks
@denis-fokin denis-fokin added the priority-top-focus Top priority chosen by dev team label Jun 8, 2022
@CaelmBleidd CaelmBleidd mentioned this issue Jun 8, 2022
8 tasks
Repository owner moved this from In Progress to Done in UTBot Java Jun 8, 2022
@JaneEugenia JaneEugenia mentioned this issue Jun 15, 2022
25 tasks
This was referenced Aug 26, 2022
Damtev added a commit that referenced this issue Mar 20, 2023
� This is the 1st commit message:

Fixed copyOf, copyOfRange and asList failures

� The commit message #2 will be skipped:

� Added symbolic implementation for Arrays.copyOf and Arrays.copyOfRange

� The commit message #3 will be skipped:

� Added tests for copyOf, copyOfRange and asList

� The commit message #4 will be skipped:

� Fixed implementation
Damtev added a commit that referenced this issue Mar 20, 2023
� This is the 1st commit message:

Fixed copyOf, copyOfRange and asList failures

� The commit message #2 will be skipped:

� Added symbolic implementation for Arrays.copyOf and Arrays.copyOfRange

� The commit message #3 will be skipped:

� Added tests for copyOf, copyOfRange and asList

� The commit message #4 will be skipped:

� Fixed implementation

� The commit message #5 will be skipped:

� Fixed tests
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ctg-bug Issue is a bug priority-top-focus Top priority chosen by dev team
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

3 participants