5
82%
main: 82%

Ran 31 Aug 2024 11:30AM UTC

Files 222

Run time 5s

Badge

Embed ▾

Committed 31 Aug 2024 11:13AM UTC coverage: 80.472% (+0.002%) from 80.47%

Job # 10644792389.5

Build Type

push

github

Committed by

web-flow

Commit Message

Fix type inference for disjunctions with nullness (#524)

We extend the type inference to, correctly, consider the case with
disjunctions (``or``) with nullness checks (``is None``).

For example, ``(A is None) or (A == 3)`` means that the first value in
the disjunction (``A is None``) implies that ``A`` is non-null in the
second value (``A == 3``).

Run Details

27235 of 33844 relevant lines covered (80.47%)

0.8 hits per line

aas-core-works / aas-core-codegen / 10644792389 / 5
82%
main: 82%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.10 - 10644792389.5

aas-core-works / aas-core-codegen / 10644792389 / 5 82% main: 82%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.10 - 10644792389.5

aas-core-works / aas-core-codegen / 10644792389 / 5
82%
main: 82%

README BADGES
x