• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

stanford-oval / node-smtlib / 237
75%
master: 74%

Build:
Build:
LAST BUILD BRANCH: dependabot/npm_and_yarn/json5-2.2.3
DEFAULT BRANCH: master
Ran 22 Dec 2020 01:53PM CUT
Jobs 2
Files 4
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

pending completion
237

push

travis-ci-com

web-flow
Bump @typescript-eslint/parser from 4.10.0 to 4.11.0

Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 4.10.0 to 4.11.0.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/master/packages/parser/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v4.11.0/packages/parser)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>

19 of 28 branches covered (67.86%)

Branch coverage included in aggregate %.

105 of 138 relevant lines covered (76.09%)

6.93 hits per line

Jobs
ID Job ID Ran Files Coverage
1 237.1 (COVERALLS_PARALLEL=true) 22 Dec 2020 01:53PM CUT 0
74.7
Travis Job 237.1
2 237.2 (COVERALLS_PARALLEL=true) 22 Dec 2020 01:55PM CUT 0
74.7
Travis Job 237.2
Source Files on build 237
  • Tree
  • List 4
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Loading...
Coverage∆FileLinesRelevantCoveredMissedHits/LineBranch HitsBranch Misses
64.62
lib/smtlib.ts129 56 38 18 8.0 4 5
76.47
lib/base_solver.ts58 16 12 4 8.0 1 0
81.48
lib/local_cvc4.ts99 63 52 11 9.0 14 4
100.0
lib/index.ts11 3 3 0 4.0 0 0
Showing 1 to 4 of 4 entries
  • Previous
  • 1
  • Next
  • ►
    76.09
    lib/
  • Back to Repo
  • Build #237
  • 2038070b on github
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc