formalsec / smtml / 223
45%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 31
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 52.009% (+0.6%) from 51.416%
223

push

github

filipeom 
Fix binary list operators

`List_append_last v lst` was changed into `List_cons v lst`
which conses `v` to the head of `lst`.

`List_append lst v` was changed into `List_append l0 l1`
which appends l1 to l0.

4 of 11 new or added lines in 3 files covered. (36.36%)

1 existing line in 1 file now uncovered.

1398 of 2688 relevant lines covered (52.01%)

33.03 hits per line

Jobs
ID Job ID Ran Files Coverage
1 223.1 0
52.01
 GitHub Action Run
Source Files on build 223
Detailed source file information is not available for this build.