Labels

• bug

  bug

  Something isn't working

• c-syntax

  c-syntax

  Related to generation tests for C

• CI

  CI

  Issue related to github action and CI tests

• clion-plugin

  clion-plugin

  Issue related to CLion plugin

• cpp-syntax

  cpp-syntax

  Related to generation tests for C++

• customer

  customer

  Issues from customers

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• infrastructure

  infrastructure

  Infrastructure issues

• invalid

  invalid

  This issue / PR doesn't seem right.

• klee

  klee

  Related to internal work of KLEE

• need to check

  need to check

  Check if the issue can be reproduced in last version

• performance

  performance

  Performance issues

• qa

  qa

  Issue is related to QA process

• question

  question

  Further information is requested

• refactoring

  refactoring

  Issue related to refactoring process

• regression

  regression

  Regression

• sat

  sat

  Internal issue

• top focus

  top focus

  Top priority chosen by dev team

• verified

  verified

  Bug fix is verified

• vscode-plugin

  vscode-plugin

  Issue related to VScode plugin

• wontfix

  wontfix

  This will not be worked on

• wrong generation

  wrong generation

  Inadequate or empty test suite generated