1
85%
master: 85%

Ran 12 Dec 2022 06:43PM UTC

Files 52

Run time 56s

Badge

Committed 12 Dec 2022 06:43PM UTC coverage: 84.758% (-0.08%) from 84.837%

Build Type

push

circleci

Committed by sergioyuhjtman

Commit Message

fix calculateInvariant to match smart contract's last version

Run Details

972 of 1269 branches covered (76.6%)

Branch coverage included in aggregate %.

3905 of 4485 relevant lines covered (87.07%)

1218.82 hits per line