6942273267
82%

Ran 21 Nov 2023 10:16AM UTC

Jobs 3

Files 150

Run time 14s

Badge

Embed ▾

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

Build # 6942273267

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

355 of 375 new or added lines in 3 files covered. (94.67%)

19336 of 23465 relevant lines covered (82.4%)

2.47 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	3.8 - 6942273267.1	21 Nov 2023 10:25AM UTC	82.33
2	3.10 - 6942273267.2	21 Nov 2023 10:25AM UTC	82.38
3	3.9 - 6942273267.3	21 Nov 2023 10:25AM UTC	82.33

Source Files on build 6942273267

Detailed source file information is not available for this build.

aas-core-works / aas-core-codegen / 6942273267
82%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6942273267

aas-core-works / aas-core-codegen / 6942273267 82%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6942273267

aas-core-works / aas-core-codegen / 6942273267
82%

README BADGES
x