ethereum / solc-js / f2107f46-63b2-4bd8-b6d2-3246ece51ebe

87%

master: 85%

Build Type

push

circleci

Committed by Leonardo Alt

Commit Message

Prepare SMT comparison for counterexamples

Run Details

274 of 350 branches covered (78.29%)

Branch coverage included in aggregate %.

5 of 5 new or added lines in 1 file covered. (100.0%)

1007 of 1119 relevant lines covered (89.99%)

13.24 hits per line