stanford-oval / node-smtlib / 150
74%

DEFAULT BRANCH: master
Ran
Jobs 2
Files 4
Run time 2s
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
150

api

travis-ci-com

web-flow 
Convert to TypeScript (#27)

This introduces type annotations everywhere in the interface,
and will make it easier to consume this library from other
TypeScript code.

19 of 28 branches covered (67.86%)

Branch coverage included in aggregate %.

36 of 36 new or added lines in 4 files covered. (100.0%)

105 of 138 relevant lines covered (76.09%)

6.93 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
76.47
 lib/base_solver.ts
Jobs
ID Job ID Ran Files Coverage
1 150.1 (GH_TOKEN=[secure]) 4
74.7
 Travis Job 150.1
2 150.2 (GH_TOKEN=[secure]) 4
74.7
 Travis Job 150.2
Source Files on build 150