• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

aas-core-works / aas-core-codegen / 10643532790
82%

Build:
DEFAULT BRANCH: main
Ran 31 Aug 2024 07:44AM UTC
Jobs 5
Files 222
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

31 Aug 2024 07:32AM UTC coverage: 80.487% (-0.2%) from 80.668%
10643532790

push

github

web-flow
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.

92 of 107 new or added lines in 8 files covered. (85.98%)

52 existing lines in 2 files now uncovered.

27236 of 33839 relevant lines covered (80.49%)

4.02 hits per line

Jobs
ID Job ID Ran Files Coverage
1 3.12 - 10643532790.1 31 Aug 2024 07:50AM UTC 0
80.47
GitHub Action Run
2 3.9 - 10643532790.2 31 Aug 2024 07:50AM UTC 0
80.42
GitHub Action Run
3 3.10 - 10643532790.3 31 Aug 2024 07:50AM UTC 0
80.47
GitHub Action Run
4 3.8 - 10643532790.4 31 Aug 2024 07:50AM UTC 0
80.43
GitHub Action Run
5 3.11 - 10643532790.5 31 Aug 2024 07:50AM UTC 0
80.47
GitHub Action Run
Source Files on build 10643532790
Detailed source file information is not available for this build.
  • Back to Repo
  • 6df5c9e8 on github
  • Prev Build on main (#10629723457)
  • Next Build on main (#10644792389)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc