37159573389
90%

Ran 03 Oct 2026 10:56PM UTC

Jobs 3

Files 309

Run time 1min

Badge

Embed ▾

Committed 03 Oct 2026 10:46PM UTC coverage: 90.135%. Remained the same

Build # 37159573389

Build Type

push

github

Committed by

web-flow

Commit Message

Fix module of TS verification return types (#838)

The TypeScript verification functions referred to the types module as
``our_types`` in their return type, though the module is imported as
``OurTypes``. Hence a function returning an enumeration or a class did
not compile, as in ``): our_types.Result {``. We now use ``OurTypes``.

We test it with ``negated(result: Result) -> Result`` in the ``enum``
meta-model, used in an invariant.

Coverage Stats

45255 of 50208 relevant lines covered (90.14%)

2.7 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	3.10 - 37159573389.1	03 Oct 2026 10:59PM UTC	309	90.14	GitHub Action Run
2	3.11 - 37159573389.2	03 Oct 2026 10:59PM UTC	309	90.14	GitHub Action Run
3	3.12 - 37159573389.3	03 Oct 2026 10:59PM UTC	309	90.14	GitHub Action Run

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 37159573389

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 37159573389

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

README BADGES
x