circleci
339 of 428 branches covered (79.21%)
Branch coverage included in aggregate %.
476 of 547 relevant lines covered (87.02%)
81.31 hits per line
The file "dist/smtchecker.js" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.