Labels

Issue related to CLI

Issue is related to code generator

Issue is related to contest estimator

Issue is related to the fuzzing

GitHub action, gradle plugin or maven plugin

Issue is related to IDE support

Infrastructure issues

Issue is related to Instrumented process

Issue is related to Logging

Issue is related to Minimization phase

Issue is related RD

Rider C# plugin relates issues

Issue is related to sandboxing unpermitted operations by Java Security Manager

Issue is related to SARIF report or Problems tab

Issue is related to settings

Issue is related to Spring projects support

Something related to the method names, code comments and display names generation

Issue is related to the symbolic execution engine

Improvements of plugin UI appearence and functionality

Issue is a bug

PR is fixing a bug

Improvements or additions to documentation

New feature, improvement or change request

Issue is related to QA process

Further information is requested

Issue related to refactoring process

Pull requests that update a dependency file

Pull requests that update java code

Issue is related to Go support