diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index e393276f0..b5f16d499 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -18,6 +18,7 @@ jobs: sudo apt-get install libxml2-utils sudo apt-get install libz3-dev libz3-4 sudo apt-get install lcov + sudo apt-get install libcppunit-dev pip install lcov_cobertura - name: Compile instrumented