2
82%
main: 82%

Ran 21 Nov 2023 10:25AM UTC

Files 150

Run time 4s

Badge

Embed ▾

Committed 21 Nov 2023 10:12AM UTC coverage: 82.379% (+0.2%) from 82.179%

Job # 6942273267.2

Build Type

push

github

Committed by

web-flow

Commit Message

Transpile yielding, i.e., co-routines (#424)

We model the abstract control flow of co-routines so that we can
transpile them into state machines for languages which do not support
them natively. In particular, this is necessary when we want to model
iterations over unmaterialized sequences such as verification errors.

Run Details

19331 of 23466 relevant lines covered (82.38%)

0.82 hits per line

aas-core-works / aas-core-codegen / 6942273267 / 2
82%
main: 82%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.10 - 6942273267.2

aas-core-works / aas-core-codegen / 6942273267 / 2 82% main: 82%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.10 - 6942273267.2

aas-core-works / aas-core-codegen / 6942273267 / 2
82%
main: 82%

README BADGES
x