aas-core-works / aas-core-codegen / 5221339814

82%

Build Type

push

github

Committed by web-flow

Commit Message

Make nullability checks stricter in type inference (#385)

We make `intermediate.type_inference` stricter w.r.t. nullability
(non-None) checks. This is motivated by bugs occurring in aas-core-meta,
such as [271], [272] and [273].

[271]: https://github.com/aas-core-works/aas-core-meta/pull/271
[272]: https://github.com/aas-core-works/aas-core-meta/pull/272
[273]: https://github.com/aas-core-works/aas-core-meta/pull/273

Run Details

48 of 93 new or added lines in 1 file covered. (51.61%)

3 existing lines in 1 file now uncovered.

16667 of 20013 relevant lines covered (83.28%)

2.5 hits per line