Update some of the invariant checks to account for leaves

.gitea/workflows/ci.yml

@@ -1,282 +0,0 @@
-name: CI
-
-on: [push, pull_request]
-
-env:
-  CC: clang
-  CXX: clang++
-
-jobs:
-  pre-commit:
-    runs-on: ubuntu-latest-amd64
-    steps:
-      - uses: actions/checkout@v4
-
-      - uses: actions/cache@v4
-        with:
-          path: /var/cache/apt/archives
-          key: apt-amd64-${{ hashFiles('.gitea/workflows/ci.yml') }}
-
-      - name: Install dependencies
-        run: |
-          sudo apt-get update -qq
-          sudo apt-get install -y \
-            clang git nodejs pre-commit
-
-      - uses: actions/cache@v4
-        with:
-          path: ~/.cache/pre-commit
-          key: pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}
-
-      - name: Run pre-commit
-        run: |
-          git config --global --add safe.directory "$PWD"
-          pre-commit run --all-files --show-diff-on-failure
-
-  test:
-    strategy:
-      fail-fast: false
-      matrix:
-        include:
-          - name: 64-bit-versions
-            cmake_args: -DCMAKE_CXX_FLAGS=-DUSE_64_BIT=1
-          - name: debug
-            cmake_args: -DCMAKE_BUILD_TYPE=Debug
-          - name: simd-fallback
-            cmake_args: -DUSE_SIMD_FALLBACK=ON
-          - name: gcc
-            cmake_args: -DCMAKE_C_COMPILER=gcc -DCMAKE_CXX_COMPILER=g++
-    runs-on: ubuntu-latest-amd64
-    steps:
-      - uses: actions/checkout@v4
-
-      - uses: actions/cache@v4
-        with:
-          path: /var/cache/apt/archives
-          key: apt-amd64-${{ hashFiles('.gitea/workflows/ci.yml') }}
-
-      - name: Install dependencies
-        run: |
-          sudo apt-get update -qq
-          sudo apt-get install -y \
-            build-essential ccache clang cmake gcc g++ \
-            libc6-dbg llvm mold ninja-build python3 valgrind zstd
-          sudo curl -Ls "https://dl.min.io/client/mc/release/linux-amd64/mc" \
-            -o /usr/local/bin/mc && sudo chmod +x /usr/local/bin/mc
-
-      - uses: actions/cache@v4
-        with:
-          path: .ccache
-          key: ccache-${{ matrix.name }}-${{ gitea.sha }}
-          restore-keys: |
-            ccache-${{ matrix.name }}-
-
-      - name: Build
-        run: |
-          export CCACHE_DIR="$GITHUB_WORKSPACE/.ccache"
-          rm -rf build
-          cmake -S . -B build -G Ninja -DCMAKE_CXX_COMPILER_LAUNCHER=ccache ${{ matrix.cmake_args }}
-          ninja -C build
-          ccache -s
-
-      - name: Test
-        run: |
-          cd build
-          ctest --no-compress-output --test-output-size-passed 100000 --test-output-size-failed 100000 -T Test -j "$(nproc)" --timeout 90 > /dev/null
-
-      - name: Upload test results to MinIO
-        if: always()
-        env:
-          MINIO_ACCESS_KEY: ${{ secrets.MINIO_ACCESS_KEY }}
-          MC_HOST_minio: https://${{ secrets.MINIO_ACCESS_KEY }}:${{ secrets.MINIO_SECRET_KEY }}@minio.weaselab.dev
-        run: |
-          if [ -z "$MINIO_ACCESS_KEY" ]; then
-            echo "MinIO credentials not configured; skipping upload"
-            exit 0
-          fi
-          zstd build/Testing/*/Test.xml
-          mc cp build/Testing/*/Test.xml.zst "minio/jenkins/conflict-set/${{ gitea.run_number }}/${{ matrix.name }}/"
-
-      - name: Test summary
-        if: always()
-        run: |
-          python3 ctest_summary.py build/Testing/*/Test.xml \
-            --link "https://minio.weaselab.dev/jenkins/conflict-set/${{ gitea.run_number }}/${{ matrix.name }}/Test.xml.zst" \
-            | tee -a "$GITHUB_STEP_SUMMARY"
-
-  release:
-    strategy:
-      fail-fast: false
-      matrix:
-        include:
-          - runner: ubuntu-latest-amd64
-            arch: amd64
-          - runner: ubuntu-latest-arm64
-            arch: arm64
-    runs-on: ${{ matrix.runner }}
-    steps:
-      - uses: actions/checkout@v4
-
-      - uses: actions/cache@v4
-        with:
-          path: /var/cache/apt/archives
-          key: apt-${{ matrix.arch }}-${{ hashFiles('.gitea/workflows/ci.yml') }}
-
-      - name: Install dependencies
-        run: |
-          sudo apt-get update -qq
-          sudo apt-get install -y \
-            biber build-essential ccache clang cmake devscripts \
-            latexmk libc6-dbg llvm mold ninja-build rpm \
-            texlive-bibtex-extra texlive-fonts-recommended \
-            texlive-latex-extra texlive-pictures valgrind zstd
-          sudo curl -Ls "https://dl.min.io/client/mc/release/linux-$(dpkg --print-architecture)/mc" \
-            -o /usr/local/bin/mc && sudo chmod +x /usr/local/bin/mc
-
-      - uses: actions/cache@v4
-        with:
-          path: .ccache
-          key: ccache-release-${{ matrix.arch }}-${{ gitea.sha }}
-          restore-keys: |
-            ccache-release-${{ matrix.arch }}-
-
-      - name: Build
-        run: |
-          export CCACHE_DIR="$GITHUB_WORKSPACE/.ccache"
-          rm -rf build
-          cmake -S . -B build -G Ninja -DCMAKE_CXX_COMPILER_LAUNCHER=ccache -DCMAKE_CXX_FLAGS=-DNVALGRIND
-          ninja -C build
-          ccache -s
-
-      - name: Test
-        run: |
-          cd build
-          # On arm64, valgrind needs the MAKE_MEM_DEFINED client requests for
-          # https://git.weaselab.dev/weaselab/conflict-set/issues/39, but this
-          # build has -DNVALGRIND, which compiles them out. Skip valgrind
-          # tests here; they run annotated in the test job.
-          ctest --no-compress-output --test-output-size-passed 100000 --test-output-size-failed 100000 ${{ matrix.arch == 'arm64' && '-E valgrind' || '' }} -T Test -j "$(nproc)" --timeout 90 > /dev/null
-
-      - name: Package
-        run: |
-          cd build
-          cpack -G DEB
-          cpack -G RPM
-
-      - name: Build paper
-        if: matrix.arch == 'amd64'
-        run: |
-          cd paper
-          make
-
-      - name: Upload artifacts to MinIO
-        if: always()
-        shell: bash
-        env:
-          MINIO_ACCESS_KEY: ${{ secrets.MINIO_ACCESS_KEY }}
-          MC_HOST_minio: https://${{ secrets.MINIO_ACCESS_KEY }}:${{ secrets.MINIO_SECRET_KEY }}@minio.weaselab.dev
-        run: |
-          if [ -z "$MINIO_ACCESS_KEY" ]; then
-            echo "MinIO credentials not configured; skipping upload"
-            exit 0
-          fi
-          dest="minio/jenkins/conflict-set/${{ gitea.run_number }}/release-${{ matrix.arch }}/"
-          zstd build/Testing/*/Test.xml
-          mc cp build/Testing/*/Test.xml.zst "$dest"
-          if compgen -G "build/*.deb" > /dev/null; then
-            mc cp build/*.deb "$dest"
-          fi
-          if compgen -G "build/*.rpm" > /dev/null; then
-            mc cp build/*.rpm "$dest"
-          fi
-          if compgen -G "paper/*.pdf" > /dev/null; then
-            mc cp paper/*.pdf "$dest"
-          fi
-
-      - name: Test summary
-        if: always()
-        run: |
-          python3 ctest_summary.py build/Testing/*/Test.xml \
-            --link "https://minio.weaselab.dev/jenkins/conflict-set/${{ gitea.run_number }}/release-${{ matrix.arch }}/Test.xml.zst" \
-            | tee -a "$GITHUB_STEP_SUMMARY"
-
-  coverage:
-    runs-on: ubuntu-latest-amd64
-    steps:
-      - uses: actions/checkout@v4
-
-      - uses: actions/cache@v4
-        with:
-          path: /var/cache/apt/archives
-          key: apt-amd64-${{ hashFiles('.gitea/workflows/ci.yml') }}
-
-      - name: Install dependencies
-        run: |
-          sudo apt-get update -qq
-          sudo apt-get install -y \
-            build-essential ccache clang cmake gcovr \
-            libc6-dbg llvm mold ninja-build python3 valgrind zstd
-          sudo curl -Ls "https://dl.min.io/client/mc/release/linux-amd64/mc" \
-            -o /usr/local/bin/mc && sudo chmod +x /usr/local/bin/mc
-
-      - uses: actions/cache@v4
-        with:
-          path: .ccache
-          key: ccache-coverage-${{ gitea.sha }}
-          restore-keys: |
-            ccache-coverage-
-
-      - name: Build
-        run: |
-          export CCACHE_DIR="$GITHUB_WORKSPACE/.ccache"
-          rm -rf build
-          cmake -S . -B build -G Ninja -DCMAKE_CXX_COMPILER_LAUNCHER=ccache \
-            -DCMAKE_C_FLAGS=--coverage -DCMAKE_CXX_FLAGS=--coverage \
-            -DCMAKE_BUILD_TYPE=Debug -DDISABLE_TSAN=ON
-          ninja -C build
-          ccache -s
-
-      - name: Test
-        run: |
-          cd build
-          ctest --no-compress-output --test-output-size-passed 100000 --test-output-size-failed 100000 -T Test -j "$(nproc)" --timeout 90 > /dev/null
-
-      - name: Coverage report
-        shell: bash
-        run: |
-          gcov_args=(-f ConflictSet.cpp -f LongestCommonPrefix.h -f Metrics.h
-                     --gcov-executable "llvm-cov gcov" --exclude-noncode-lines)
-          gcovr "${gcov_args[@]}" --cobertura > build/coverage.xml
-          gcovr "${gcov_args[@]}"
-          mkdir -p build/coverage_html
-          gcovr "${gcov_args[@]}" --html-details build/coverage_html/index.html
-          gcovr "${gcov_args[@]}" --fail-under-line 100 > /dev/null
-
-      - name: Upload results to MinIO
-        if: always()
-        env:
-          MINIO_ACCESS_KEY: ${{ secrets.MINIO_ACCESS_KEY }}
-          MC_HOST_minio: https://${{ secrets.MINIO_ACCESS_KEY }}:${{ secrets.MINIO_SECRET_KEY }}@minio.weaselab.dev
-        run: |
-          if [ -z "$MINIO_ACCESS_KEY" ]; then
-            echo "MinIO credentials not configured; skipping upload"
-            exit 0
-          fi
-          dest="minio/jenkins/conflict-set/${{ gitea.run_number }}/coverage/"
-          zstd build/Testing/*/Test.xml
-          mc cp build/Testing/*/Test.xml.zst "$dest"
-          if [ -e build/coverage.xml ]; then
-            mc cp build/coverage.xml "$dest"
-          fi
-          if [ -d build/coverage_html ]; then
-            mc cp -r build/coverage_html "$dest"
-          fi
-
-      - name: Test summary
-        if: always()
-        run: |
-          python3 ctest_summary.py build/Testing/*/Test.xml \
-            --link "https://minio.weaselab.dev/jenkins/conflict-set/${{ gitea.run_number }}/coverage/Test.xml.zst" \
-            | tee -a "$GITHUB_STEP_SUMMARY"
-          echo "" | tee -a "$GITHUB_STEP_SUMMARY"
-          echo "📊 [Coverage report](https://minio.weaselab.dev/jenkins/conflict-set/${{ gitea.run_number }}/coverage/coverage_html/index.html)" | tee -a "$GITHUB_STEP_SUMMARY"

CMakeLists.txt

@@ -32,12 +32,8 @@ if(NOT CMAKE_BUILD_TYPE AND NOT CMAKE_CONFIGURATION_TYPES)
 endif()
 
 add_compile_options(
-  -Werror=switch-enum
-  -Wswitch-enum
-  -Wunused-variable
-  -fPIC
-  -fdata-sections
-  -ffunction-sections
+  # -Werror=switch-enum
+  -Wswitch-enum -Wunused-variable -fPIC -fdata-sections -ffunction-sections
   -fno-jump-tables # https://github.com/llvm/llvm-project/issues/54247
 )
 
@@ -53,7 +49,6 @@ endif()
 
 if(CMAKE_CXX_COMPILER_ID STREQUAL "GNU")
   add_compile_options("-Wno-maybe-uninitialized")
-  add_compile_options("-Wno-maybe-musttail-local-addr")
 endif()
 
 if(NOT APPLE)
@@ -61,16 +56,12 @@ if(NOT APPLE)
   add_compile_options(-g -fno-omit-frame-pointer)
 endif()
 
-set(relro_flags "LINKER:-z,relro,-z,now,-z,noexecstack")
-set(full_relro_flags "-pie;${relro_flags}")
+set(full_relro_flags "-pie;LINKER:-z,relro,-z,now,-z,noexecstack")
 cmake_push_check_state()
 list(APPEND CMAKE_REQUIRED_LINK_OPTIONS ${full_relro_flags})
 check_cxx_source_compiles("int main(){}" HAS_FULL_RELRO FAIL_REGEX "warning:")
 if(HAS_FULL_RELRO)
-  # -pie only applies to executables; passing it when linking a shared library
-  # makes the driver pull in Scrt1.o, which requires main.
-  add_link_options("$<$<STREQUAL:$<TARGET_PROPERTY:TYPE>,EXECUTABLE>:-pie>"
-                   ${relro_flags})
+  add_link_options(${full_relro_flags})
 endif()
 cmake_pop_check_state()
 
@@ -383,18 +374,9 @@ if(CMAKE_SOURCE_DIR STREQUAL CMAKE_CURRENT_SOURCE_DIR AND BUILD_TESTING)
   if(NOT CMAKE_CROSSCOMPILING)
     find_program(HARDENING_CHECK hardening-check)
     if(HARDENING_CHECK)
-      # Control flow integrity (CET) is x86-only and branch protection (PAC/BTI)
-      # is arm64-only, so ignore whichever doesn't apply.
-      if(CMAKE_SYSTEM_PROCESSOR STREQUAL aarch64 OR CMAKE_SYSTEM_PROCESSOR
-                                                    STREQUAL arm64)
-        set(hardening_check_arch_flags --nocfprotection)
-      else()
-        set(hardening_check_arch_flags --nobranchprotection)
-      endif()
-      add_test(
-        NAME hardening_check
-        COMMAND ${HARDENING_CHECK} $<TARGET_FILE:${PROJECT_NAME}> --nofortify
-                --nostackprotector ${hardening_check_arch_flags})
+      add_test(NAME hardening_check
+               COMMAND ${HARDENING_CHECK} $<TARGET_FILE:${PROJECT_NAME}>
+                       --nofortify --nostackprotector)
     endif()
   endif()
 

Dockerfile

@@ -8,36 +8,48 @@ RUN chmod -R 777 /tmp
 RUN apt-get update
 RUN apt-get upgrade -y
 RUN TZ=America/Los_Angeles DEBIAN_FRONTEND=noninteractive apt-get install -y \
-    biber \
+    binutils-aarch64-linux-gnu \
     build-essential \
     ccache \
-    clang \
     cmake \
     curl \
     devscripts \
+    g++-aarch64-linux-gnu \
     gcovr \
     git \
-    latexmk \
+    gnupg \
     libc6-dbg \
-    llvm \
+    lsb-release \
     mold \
     ninja-build \
-    nodejs \
     pre-commit \
     python3-requests \
+    qemu-user \
     rpm \
-    texlive-bibtex-extra \
-    texlive-fonts-recommended \
-    texlive-latex-extra \
-    texlive-pictures \
-    valgrind \
+    software-properties-common \
+    texlive-full \
     wget \
     zstd
 
-# MinIO client, for uploading build artifacts
-RUN curl -Ls "https://dl.min.io/client/mc/release/linux-$(dpkg --print-architecture)/mc" \
-    -o /usr/local/bin/mc && chmod +x /usr/local/bin/mc
+# Install recent valgrind from source
+RUN curl -Ls https://sourceware.org/pub/valgrind/valgrind-3.22.0.tar.bz2 -o valgrind.tar.bz2 && \
+    echo "c811db5add2c5f729944caf47c4e7a65dcaabb9461e472b578765dd7bf6d2d4c  valgrind.tar.bz2" > valgrind-sha.txt && \
+    sha256sum --quiet -c valgrind-sha.txt && \
+    mkdir valgrind && \
+    tar --strip-components 1 --no-same-owner --no-same-permissions --directory valgrind -xjf valgrind.tar.bz2 && \
+    cd valgrind && \
+    ./configure --enable-only64bit --enable-lto && \
+    make -j`nproc` && \
+    make install && \
+    cd .. && \
+    rm -rf /tmp/*
 
+# Recent clang
+RUN wget https://apt.llvm.org/llvm.sh && chmod +x ./llvm.sh && ./llvm.sh 20
+
+RUN apt-get -y install clang llvm
+
+# Set after building valgrind, which doesn't build with clang for some reason
 ENV CC=clang
 ENV CXX=clang++
 

Jenkinsfile

@@ -0,0 +1,151 @@
+def CleanBuildAndTest(String cmakeArgs) {
+    sh """
+    export CCACHE_DIR=/ccache
+    rm -rf build
+    mkdir build
+    cd build
+    cmake .. -G Ninja -DCMAKE_CXX_COMPILER_LAUNCHER=ccache ${cmakeArgs} 
+    ninja
+    ccache -s
+    """
+    catchError {
+        sh '''
+        cd build
+        ctest --no-compress-output --test-output-size-passed 100000 --test-output-size-failed 100000 -T Test -j `nproc` --timeout 90 > /dev/null
+        zstd Testing/*/Test.xml
+        '''
+    }
+    xunit tools: [CTest(pattern: 'build/Testing/*/Test.xml')], skipPublishingChecks: false
+    minio bucket: 'jenkins', credentialsId: 'jenkins-minio', excludes: '', host: 'minio.weaselab.dev', includes: 'build/Testing/*/Test.xml.zst', targetFolder: '${JOB_NAME}/${BUILD_NUMBER}/${STAGE_NAME}/'
+}
+
+pipeline {
+    agent any
+    stages {
+        stage('Pre-commit') {
+            agent {
+                dockerfile {
+                    args '-v /home/jenkins/ccache:/ccache'
+                    reuseNode true
+                }
+            }
+            steps {
+                script {
+                    env.HOME = env.WORKSPACE
+                }
+                sh 'pre-commit run --all-files --show-diff-on-failure'
+            }
+        }
+        stage('64 bit versions') {
+            agent {
+                dockerfile {
+                    args '-v /home/jenkins/ccache:/ccache'
+                    reuseNode true
+                }
+            }
+            steps {
+                CleanBuildAndTest("-DCMAKE_CXX_FLAGS=-DUSE_64_BIT=1")
+            }
+        }
+        stage('Debug') {
+            agent {
+                dockerfile {
+                    args '-v /home/jenkins/ccache:/ccache'
+                    reuseNode true
+                }
+            }
+            steps {
+                CleanBuildAndTest("-DCMAKE_BUILD_TYPE=Debug")
+            }
+        }
+        stage('SIMD fallback') {
+            agent {
+                dockerfile {
+                    args '-v /home/jenkins/ccache:/ccache'
+                    reuseNode true
+                }
+            }
+            steps {
+                CleanBuildAndTest("-DUSE_SIMD_FALLBACK=ON")
+            }
+        }
+        stage('Release [clang]') {
+            agent {
+                dockerfile {
+                    args '-v /home/jenkins/ccache:/ccache'
+                    reuseNode true
+                }
+            }
+            steps {
+                CleanBuildAndTest("-DCMAKE_CXX_FLAGS=-DNVALGRIND")
+                recordIssues(tools: [clang()])
+                sh '''
+                cd build
+                cpack -G DEB
+                cpack -G RPM
+                '''
+                sh '''
+                cd paper
+                make
+                '''
+                minio bucket: 'jenkins', credentialsId: 'jenkins-minio', excludes: '', host: 'minio.weaselab.dev', includes: 'build/*.deb,build/*.rpm,paper/*.pdf', targetFolder: '${JOB_NAME}/${BUILD_NUMBER}/${STAGE_NAME}/'
+            }
+        }
+        stage('gcc') {
+            agent {
+                dockerfile {
+                    args '-v /home/jenkins/ccache:/ccache'
+                    reuseNode true
+                }
+            }
+            steps {
+                CleanBuildAndTest("-DCMAKE_C_COMPILER=gcc -DCMAKE_CXX_COMPILER=g++")
+                recordIssues(tools: [gcc()])
+            }
+        }
+        stage('Release [clang,aarch64]') {
+            agent {
+                dockerfile {
+                    args '-v /home/jenkins/ccache:/ccache'
+                    reuseNode true
+                }
+            }
+            steps {
+                CleanBuildAndTest("-DCMAKE_TOOLCHAIN_FILE=../aarch64-toolchain.cmake -DCMAKE_CXX_FLAGS=-DNVALGRIND")
+                sh '''
+                cd build
+                cpack -G DEB
+                cpack -G RPM
+                '''
+                minio bucket: 'jenkins', credentialsId: 'jenkins-minio', excludes: '', host: 'minio.weaselab.dev', includes: 'build/*.deb,build/*.rpm', targetFolder: '${JOB_NAME}/${BUILD_NUMBER}/${STAGE_NAME}'
+            }
+        }
+        stage('Coverage') {
+            agent {
+                dockerfile {
+                    args '-v /home/jenkins/ccache:/ccache'
+                    reuseNode true
+                }
+            }
+            steps {
+                script {
+                    gcov_args = "-f ConflictSet.cpp -f LongestCommonPrefix.h -f Metrics.h --gcov-executable 'llvm-cov gcov' --exclude-noncode-lines"
+                }
+                CleanBuildAndTest("-DCMAKE_C_FLAGS=--coverage -DCMAKE_CXX_FLAGS=--coverage -DCMAKE_BUILD_TYPE=Debug -DDISABLE_TSAN=ON")
+                sh """
+                gcovr ${gcov_args} --cobertura > build/coverage.xml
+                """
+                recordCoverage qualityGates: [[criticality: 'NOTE', metric: 'MODULE']], tools: [[parser: 'COBERTURA', pattern: 'build/coverage.xml']]
+                sh """
+                gcovr ${gcov_args}
+                gcovr ${gcov_args} --fail-under-line 100 > /dev/null
+                """
+            }
+        }
+    }
+    post {
+        always {
+            emailext mimeType: 'text/html', body: '${SCRIPT, template="groovy-html.template"}', subject: "${env.JOB_NAME} - Build# ${env.BUILD_NUMBER} - ${currentBuild.currentResult}", to: 'andrew@weaselab.dev'
+        }
+    }
+}

ServerBench.cpp

@@ -12,7 +12,6 @@
 #include <sys/ioctl.h>
 #include <sys/resource.h>
 #include <sys/socket.h>
-#include <sys/syscall.h>
 #include <sys/types.h>
 #include <sys/uio.h>
 #include <thread>

ctest_summary.py

@@ -1,76 +0,0 @@
-#!/usr/bin/env python3
-"""Summarize a CTest Test.xml as markdown.
-
-Intended for $GITHUB_STEP_SUMMARY in CI, where only the first few failures
-are shown inline (pass --link to point at the full Test.xml). Also reusable
-locally to print every failure from a downloaded Test.xml with --all.
-"""
-
-import argparse
-import base64
-import gzip
-import xml.etree.ElementTree as ET
-
-# Failure output is truncated to this many trailing characters, which is
-# usually enough to include e.g. an ASan report's summary.
-OUTPUT_TAIL_CHARS = 3000
-
-
-def test_output(test):
-    value = test.find("./Results/Measurement/Value")
-    if value is None or value.text is None:
-        return ""
-    text = value.text
-    if value.get("encoding") == "base64":
-        raw = base64.b64decode(text)
-        if value.get("compression") == "gzip":
-            raw = gzip.decompress(raw)
-        text = raw.decode(errors="replace")
-    return text
-
-
-def main():
-    parser = argparse.ArgumentParser(description=__doc__)
-    parser.add_argument("test_xml", help="path to a ctest Testing/*/Test.xml")
-    parser.add_argument(
-        "--inline",
-        type=int,
-        default=5,
-        help="how many failures to show inline (default 5)",
-    )
-    parser.add_argument("--all", action="store_true", help="show every failure inline")
-    parser.add_argument(
-        "--link", help="URL of the full Test.xml, linked when failures are elided"
-    )
-    args = parser.parse_args()
-
-    testing = ET.parse(args.test_xml).getroot().find("Testing")
-    tests = testing.findall("Test")
-    failed = [t for t in tests if t.get("Status") == "failed"]
-    notrun = sum(1 for t in tests if t.get("Status") == "notrun")
-
-    if not failed:
-        print(f"✅ All {len(tests) - notrun} tests passed")
-    else:
-        print(f"❌ {len(failed)} of {len(tests)} tests failed\n")
-        shown = failed if args.all else failed[: args.inline]
-        for test in shown:
-            name = test.findtext("Name")
-            output = test_output(test)[-OUTPUT_TAIL_CHARS:].strip()
-            print(f"<details><summary><code>{name}</code></summary>\n")
-            print("````")
-            print(output)
-            print("````")
-            print("</details>\n")
-        remaining = len(failed) - len(shown)
-        if remaining > 0:
-            more = f"… and {remaining} more"
-            if args.link:
-                more += f" — full list in [Test.xml]({args.link})"
-            print(more)
-    if notrun:
-        print(f"\n⚠️ {notrun} tests not run")
-
-
-if __name__ == "__main__":
-    main()