Coverage; cppunit header not found when running coverage script

This commit is contained in:
Daniel Marjamäki 2021-01-20 21:10:24 +01:00
parent 85154cb70e
commit 253b7810fb
1 changed files with 1 additions and 0 deletions

View File

@ -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