Something isn't working.Indicates an unexpected problem or unintended behavior.

This label applies to the issues and pull requests related toorg.utbot.engine package.Use it if your issue or fix deals with model construction (including Soot and Jimple),memory modeling, symbolic values, wrappers, mocking, value resolving, or interactionwith the SMT solver.

Path selector issues generally should also have the "engine" label, unless the problemis specific to a ML-based path selection algorithm.

This label applies to the issues and pull requests related toorg.utbot.intellij module.Use it if your changes in code are related to plugin UI appearance (mostlyui package)or close functionality: frameworks installation, sarif reports generation, etc.

This label applies to the issues and pull requests related toorg.utbot.framework.codegenpackage.Use it if your issue or fix deals with generating (rendering) code of unit tests based on obtainedfrom symbolic engine executions. It may relate to generation on both supported languages (Java and Kotlin).Code generator related class names are often marked withCg prefix or withCodeGenerator suffix.

Indicates a need for improvements or additions to documentation.

This issue or pull request already exists.Indicates similar issues, pull requests, or discussions.

New feature or request.

Good for newcomers.Indicates a good issue for first-time contributors.

Extra attention is needed.Indicates that a maintainer wants help on an issue or pull request.

This issue / PR doesn't seem right.Indicates that an issue, pull request, or discussion is no longer relevant.

Further information is requested.Indicates that an issue, pull request, or discussion needs more information.

This will not be worked on.Indicates that work won't continue on an issue, pull request, or discussion.