Code

Add xml-test-report-name flag#935

Code

Open

anvacaru wants to merge 3 commits intomasterruntimeverification/kontrol:masterfrom xml-report-nameruntimeverification/kontrol:xml-report-nameCopy head branch name to clipboard

+11-3

Commits

Commits on Jan 20, 2025

• Add xml-test-report-name flag

  anvacaru

  committed
  20bcbd7

  Copy full SHA for 20bcbd7

Commits on Jan 21, 2025

• Merge branch 'master' into xml-report-name

  anvacaru

  authored
  a1afbcf

  Copy full SHA for a1afbcf

Commits on Jan 22, 2025

• Merge branch 'master' into xml-report-name

  anvacaru

  authored
  4c8e3db

  Copy full SHA for 4c8e3db