1
66%
master: 66%

Ran 15 Oct 2024 02:54AM UTC

Files 259

Run time 5s

Badge

Committed 14 Oct 2024 07:27PM UTC coverage: 62.647% (+0.004%) from 62.643%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1598 from goblint/gas_fundec_needs_to_be_min

⛽: Use minimum to combine incoming gas values in per-context gas

Run Details

18752 of 29933 relevant lines covered (62.65%)

453101.72 hits per line