1667
62%

Ran 17 Apr 2024 02:27AM UTC

Jobs 1

Files 250

Run time 1min

Badge

Committed 16 Apr 2024 02:23PM UTC coverage: 62.701% (-0.003%) from 62.704%

Build # 1667

Build Type

push

github

Committed by

Commit Message

Merge pull request #1414 from goblint/mutex-type-default-rec

`PTHREAD_MUTEX_DEFAULT` handling is unsound

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

1 existing line in 1 file now uncovered.

18513 of 29526 relevant lines covered (62.7%)

459015.57 hits per line

Lines	Coverage	∆	File
1	80.12	-0.06%	src/analyses/base.ml

ID	Job ID	Ran	Files	Coverage
1	1667.1	17 Apr 2024 02:27AM UTC	250	62.7	GitHub Action Run