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

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

Build:
Build:
LAST BUILD BRANCH: dependabot/npm_and_yarn/json5-2.2.3
DEFAULT BRANCH: master
Ran 06 Jan 2021 02:26PM 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
296

push

travis-ci-com

web-flow
build(deps-dev): bump typedoc from 0.20.12 to 0.20.13

Bumps [typedoc](https://github.com/TypeStrong/TypeDoc) from 0.20.12 to 0.20.13.
- [Release notes](https://github.com/TypeStrong/TypeDoc/releases)
- [Commits](https://github.com/TypeStrong/TypeDoc/compare/v0.20.12...v0.20.13)

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 296.1 (COVERALLS_PARALLEL=true) 06 Jan 2021 02:26PM CUT 0
74.7
Travis Job 296.1
2 296.2 (COVERALLS_PARALLEL=true) 06 Jan 2021 02:27PM CUT 0
74.7
Travis Job 296.2
Source Files on build 296
  • 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 #296
  • 9969870d 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