37043741786
90%

Ran 02 Oct 2026 06:04PM UTC

Jobs 3

Files 309

Run time 1min

Badge

Embed ▾

Committed 02 Oct 2026 05:53PM UTC coverage: 89.856% (+0.02%) from 89.837%

Build # 37043741786

Build Type

push

github

Committed by

web-flow

Commit Message

Compose the Python verification (#822)

We verify the containers through one module-level function per
container type. Each function verifies only one level and calls the
function of its items by name, so the verification composes to any
depth:

    for error in _verify_list_of__class(that.refers_to):

All classes and named unions share the ``class`` moniker, since they
are verified with the same ``verify`` call and the read-only containers
are covariant. The constrained primitives are named by themselves
(``_verify_set_of__code``), as they are verified differently.

As a side effect, the constrained keys of the JSON objects in lists and
tuples are now verified as well.

Coverage Stats

45114 of 50207 relevant lines covered (89.86%)

2.7 hits per line

Coverage Regressions

Lines	Coverage	∆	File
13	92.38	3.49%	aas_core_codegen/python/lib/_generate_verification.py
9	81.32	-3.5%	aas_core_codegen/python/common.py

Jobs

ID	Job ID	Ran	Files	Coverage
1	3.10 - 37043741786.1	02 Oct 2026 06:07PM UTC	309	89.86	GitHub Action Run
2	3.12 - 37043741786.2	02 Oct 2026 06:07PM UTC	309	89.86	GitHub Action Run
3	3.11 - 37043741786.3	02 Oct 2026 06:07PM UTC	309	89.86	GitHub Action Run

eclipse-aascw / aas-core-codegen / 37043741786
90%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 37043741786

eclipse-aascw / aas-core-codegen / 37043741786 90%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 37043741786

eclipse-aascw / aas-core-codegen / 37043741786
90%

README BADGES
x