173
62%

Ran 13 Jul 2022 09:14PM UTC

Jobs 1

Files 429

Run time 50s

Badge

Embed ▾

pending completion

Build # 173

Build Type

push

circleci

Committed by

Commit Message

Remove type dependency from cast translation (#1064)

* Remove type dependency from cast translation

When casting to int, there is a special case when an int is casted (no cast necessary). This was no longer detected correctly with eliminated local types. Now this unnecessary cast is removed in advance, before local types are lost.

* Unit tests for local type elimination

Run Details

17251 of 27201 relevant lines covered (63.42%)

0.63 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	173.1	13 Jul 2022 09:14PM UTC	0	63.42

Source Files on build 173

Detailed source file information is not available for this build.

wurstscript / WurstScript / 173
62%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 173

wurstscript / WurstScript / 173 62%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 173

wurstscript / WurstScript / 173
62%

README BADGES
x