ethereum / solc-js / 1967 / 1

87%

master: 85%

Build Type

push

circleci

Committed by Leonardo Alt

Commit Message

SMTChecker tests check if test requires specific solver

Run Details

272 of 348 branches covered (78.16%)

Branch coverage included in aggregate %.

974 of 1083 relevant lines covered (89.94%)

13.34 hits per line