diff --git a/README.md b/README.md index be16740..0373c65 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,13 @@ -![screenshot.png](screenshot.png) +# Measure Linux kernel's modified condition/decision coverage (MC/DC) -This project is a collaboration between The Boeing Company and University of -Illinois Urbana-Champaign. +[![GitHub Actions Workflow Status](https://img.shields.io/github/actions/workflow/status/xlab-uiuc/linux-mcdc/llvm-19.yml?label=LLVM%2019)](https://github.com/xlab-uiuc/linux-mcdc/actions/workflows/llvm-19.yml) +[![GitHub Actions Workflow Status](https://img.shields.io/github/actions/workflow/status/xlab-uiuc/linux-mcdc/llvm-18.yml?label=LLVM%2018)](https://github.com/xlab-uiuc/linux-mcdc/actions/workflows/llvm-18.yml) + +Example text coverage report: [link](https://github.com/xlab-uiuc/linux-mcdc/actions/runs/9639450937/job/26582312842#step:5:7) + +Example HTML coverage report: + + [[Get started (LLVM 19)](https://github.com/xlab-uiuc/linux-mcdc/blob/llvm19/docs/measure-kernel-mcdc.md)] [[(LLVM 18)](https://github.com/xlab-uiuc/linux-mcdc/blob/public-approved/docs/measure-kernel-mcdc.md)] @@ -42,5 +48,8 @@ Kernel". Please feel free to open Issues/PRs if you have any suggestions or questions. You can also send emails to: -- Steven H. VanderLeest -- Wentao Zhang +- Steven H. VanderLeest \ +- Wentao Zhang \ + +This project is a collaboration between The Boeing Company and University of +Illinois Urbana-Champaign.