Skip to content

Add utbot-instrumentation jar into CLI resources #351

Closed
@viktoriia-fomina

Description

@viktoriia-fomina

Description

Tests with Java CLI cannot be generated due to the error Can't find file: utbot-instrumentation-<version>.jar.

To Reproduce

Not attached.

Expected behavior

Tests with Java CLI are successfully generated.

Actual behavior

Example: An error test is generated with information about errors in the concrete executor.

Visual proofs (screenshots, logs, images)

18:46:06.339 | INFO | AllInMemoryClassProvider | Loaded: 3 path entries, 19916 classes, 62267914 bytes 18:46:08.855 | INFO | UtBotTestCaseGenerator | |> Resuming method Loops.tryAbs(int) 18:46:10.658 | ERROR | UtBotSymbolicEngine | Test generation failed on stmt return i1, symbolic stack trace: <Loops: int tryAbs(int)> java.lang.IllegalStateException: Can't find file: utbot-instrumentation-<version>.jar. Make sure you added utbot-instrumentation-<version>.jar to the resources folder from gradle.

Environment

Windows 10, Java 8, Gradle 6.8

Additional context

Not applicable.

Metadata

Metadata

Labels

ctg-bugIssue is a bug

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions