2
82%
main: 82%

Ran 31 Aug 2024 07:50AM UTC

Files 222

Run time 5s

Badge

Embed ▾

Committed 31 Aug 2024 07:32AM UTC coverage: 80.42% (-0.2%) from 80.6%

Job # 10643532790.2

Build Type

push

github

Committed by

web-flow

Commit Message

Refactor type inference in functions (#523)

So far, we were unsure what the best abstraction for type inference
would be. After a couple of code generators, the structure for the type
inference crystalized out: we refactor it into two functions, one for
the class invariants and one for the transpilable verification
functions.

The type inference for pattern verification functions is explicitly left
out as we can not infer the type of the matching result in any
meaningful way with the simple types we have so far, and we also do not
need to. Namely, we ensure that pattern verification functions follow a
very strict structure where each variable can only be a string in the
parsing stage.

Run Details

27202 of 33825 relevant lines covered (80.42%)

0.8 hits per line

aas-core-works / aas-core-codegen / 10643532790 / 2
82%
main: 82%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.9 - 10643532790.2

aas-core-works / aas-core-codegen / 10643532790 / 2 82% main: 82%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.9 - 10643532790.2

aas-core-works / aas-core-codegen / 10643532790 / 2
82%
main: 82%

README BADGES
x