1
45%
main: 45%

Ran 17 Sep 2024 06:04PM UTC

Files 31

Run time 2s

Badge

Embed ▾

Committed 17 Sep 2024 05:46PM UTC coverage: 52.009% (+0.6%) from 51.416%

Job # 223.1

Build Type

push

github

Committed by

filipeom

Commit Message

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.

Run Details

1398 of 2688 relevant lines covered (52.01%)

33.03 hits per line

formalsec / smtml / 223 / 1
45%
main: 45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 223.1

formalsec / smtml / 223 / 1 45% main: 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 223.1

formalsec / smtml / 223 / 1
45%
main: 45%

README BADGES
x