Skip to content

Refactor SMT code

  • make C++ method of detect_smt_issues
  • don't use VLA

Merge request reports