Code

Add bug report support#39

Code

Merged

rv-jenkins merged 2 commits intomasterruntimeverification/komet:masterfrom bug-report-optionruntimeverification/komet:bug-report-optionCopy head branch name to clipboardSep 13, 2024

+33-13

Commits

Commits on Sep 13, 2024

• Add komet prove bug report option

  bbyalcinkaya

  committed
  a4b79a4

• Set Version: 0.1.32

  

  devops

  committed
  2e0dd59