Skip to content

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

Closed
@viktoriia-fomina

Description

@viktoriia-fomina

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--

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions