## We recommend to use labels only in this cases


![bug](https://user-images.githubusercontent.com/105667799/170533121-ae3fafaa-7dee-4b18-808d-137dbd572b96.png)

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

#

![documentation](https://user-images.githubusercontent.com/105667799/170533255-7fe1342b-4121-44f8-8678-78e52581235e.png)

Indicates a need for improvements or additions to documentation.


#

![duplicate](https://user-images.githubusercontent.com/105667799/170533304-e0f95623-1fa5-427b-8545-ceb4113de597.png)

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

#

![enhancement](https://user-images.githubusercontent.com/105667799/170537552-fba154f5-14b8-4054-aa3b-d0c7a040677f.png)

New feature or request.

#

![good first issue](https://user-images.githubusercontent.com/105667799/170537570-ae56bc9f-19b7-4864-8a92-05e5b7f5f342.png)

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

#

![help wanted](https://user-images.githubusercontent.com/105667799/170537578-37181739-204f-4527-a337-17333d45542d.png)

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

#

![invalid](https://user-images.githubusercontent.com/105667799/170537586-ef98f24c-d12d-47b3-95eb-e396c2a14337.png)

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

#

![question](https://user-images.githubusercontent.com/105667799/170537612-daeed618-7cc2-44e6-9d67-d74939761dae.png)

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

#

![wontfix](https://user-images.githubusercontent.com/105667799/170537619-538ec3a4-1f50-4f19-8bf3-71ce7e2d1afe.png)

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

#

![customer](https://user-images.githubusercontent.com/105667799/170931035-0e5493ba-5332-45bc-957f-013c14396dfd.png)

Issues from customers.

#

![cpp](https://user-images.githubusercontent.com/105667799/170931051-84a821a3-7515-4611-a3de-37354ada05a6.png)

Related to generation tests for C++.

#

![performance](https://user-images.githubusercontent.com/105667799/170931061-a20a78bc-6522-4cb2-9b06-f37894793115.png)

Performance issues.

#

![need to check](https://user-images.githubusercontent.com/105667799/170931073-c2761ad5-245e-42a2-9977-7622767407af.png)

Check if the issue can be reproduced in last version.

#

![klee](https://user-images.githubusercontent.com/105667799/170931087-00e74e36-cb53-4480-b2c3-cc6c9b861f33.png)

Related to internal work of KLEE.

#

![infrastructure](https://user-images.githubusercontent.com/105667799/170931096-071afb29-0585-4990-a770-fc4bc6efc92d.png)

Infrastructure issues.

#

