FilesExpand file tree

 master

/

coverage.yml

Copy path

View Runs

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

49 lines (40 loc) · 1.65 KB

 master

/

coverage.yml

Copy path

Top

File metadata and controls

• Code
• Blame

49 lines (40 loc) · 1.65 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

# Syntax reference https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions

# Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners

name: Coverage

on: [push]

jobs:

build:

runs-on: ubuntu-latest

steps:

- uses: actions/checkout@v2

- name: Install missing software on ubuntu

run: |

sudo apt-get update

sudo apt-get install libxml2-utils

sudo apt-get install z3 libz3-dev

sudo apt-get install lcov

pip install lcov_cobertura

- name: Compile instrumented

run: |

cp externals/z3_version_old.h externals/z3_version.h

make test CXXFLAGS="-g -fprofile-arcs -ftest-coverage" USE_Z3=yes HAVE_RULES=yes -j$(nproc)

- name: Generate coverage report

run: |

rm -rf coverage_report

./testrunner

test/cfg/runtests.sh

gcov lib/*.cpp -o lib/

lcov --directory ./ --capture --output-file lcov_tmp.info -b ./

lcov --extract lcov_tmp.info "$(pwd)/*" --output-file lcov.info

genhtml lcov.info -o coverage_report --frame --legend --demangle-cpp

- uses: actions/upload-artifact@v1

with:

name: Coverage results

path: coverage_report

- uses: codecov/codecov-action@v1

with:

# token: ${{ secrets.CODECOV_TOKEN }} # not required for public repos

# file: ./coverage.xml # optional

flags: unittests # optional

name: ${{ github.repository }} # optional

fail_ci_if_error: true # optional (default = false):