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

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

Build:
Build:
LAST BUILD BRANCH: dependabot/npm_and_yarn/json5-2.2.3
DEFAULT BRANCH: master
Ran 29 Oct 2020 01:49PM CUT
Jobs 2
Files 4
Run time 5s
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
205

push

travis-ci-com

web-flow
Bump @types/node from 14.14.5 to 14.14.6

Bumps [@types/node](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/node) from 14.14.5 to 14.14.6.
- [Release notes](https://github.com/DefinitelyTyped/DefinitelyTyped/releases)
- [Commits](https://github.com/DefinitelyTyped/DefinitelyTyped/commits/HEAD/types/node)

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 205.1 (COVERALLS_PARALLEL=true) 29 Oct 2020 01:49PM CUT 0
74.7
Travis Job 205.1
2 205.2 (COVERALLS_PARALLEL=true) 29 Oct 2020 01:49PM CUT 0
74.7
Travis Job 205.2
Source Files on build 205
  • 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 #205
  • 21adb82b 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