CppVerify macOS experiment

Workflow runs for CppVerify macOS experiment

• test: Upload the macOS experiment's output even when a step fails.

  completed successfully:
  CppVerify macOS experiment#4:Commit9caf398pushedbySwayamInSync
  experiment/macos-z3

  Oct 9, 202634s
  More actions for workflow run 4

• test: Report which obligation of break_heap_ok stays unsettled.

  failed:
  CppVerify macOS experiment#3:Commit611201epushedbySwayamInSync
  experiment/macos-z3

  Oct 9, 202629s
  More actions for workflow run 3

• test: Run the macOS experiment on macos-15 too.

  completed successfully:
  CppVerify macOS experiment#2:Commit970c111pushedbySwayamInSync
  experiment/macos-z3

  Oct 9, 202616m 50s
  More actions for workflow run 2

• test: Run the macOS experiment with the released archives on macOS an…

  completed successfully:
  CppVerify macOS experiment#1:Commitfafe9bapushedbySwayamInSync
  experiment/macos-z3

  Oct 9, 202628m 17s
  More actions for workflow run 1