stanford-oval / node-smtlib
74%

DEFAULT BRANCH: master
Repo Added
Files 4
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

LAST BUILD ON BRANCH master
branch: master
CHANGE BRANCH
x

745

Pull #237

travis-ci-com

web-flow 
Merge 4ab71fe8f into fd9ebca66
Pull Request #237: Do not ignore logic passed to constructor of BaseSmtSolver

19 of 29 branches covered (65.52%)

Branch coverage included in aggregate %.

105 of 138 relevant lines covered (76.09%)

3.46 hits per line

Relevant lines Covered
138 RELEVANT LINES 105 COVERED LINES
3.46 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
745 master Merge 4ab71fe8f into fd9ebca66 Pull #237 web-flow travis-ci-com pending completion  
718 master build(deps-dev): bump typedoc from 0.22.7 to 0.22.10 (#221) Bumps [typedoc](https://github.com/TypeStrong/TypeDoc) from 0.22.7 to 0.22.10. - [Release notes](https://github.com/TypeStrong/TypeDoc/releases) - [Changelog](https://github.com/TypeSt... push web-flow travis-ci-com pending completion  
716 master build(deps-dev): bump @types/node from 16.11.6 to 16.11.11 (#223) Bumps [@types/node](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/node) from 16.11.6 to 16.11.11. - [Release notes](https://github.com/DefinitelyTyped/Definit... push web-flow travis-ci-com pending completion  
717 master build(deps-dev): bump source-map-support from 0.5.20 to 0.5.21 (#222) Bumps [source-map-support](https://github.com/evanw/node-source-map-support) from 0.5.20 to 0.5.21. - [Release notes](https://github.com/evanw/node-source-map-support/releases... push web-flow travis-ci-com pending completion  
709 master build(deps-dev): bump ts-node from 10.2.1 to 10.4.0 (#215) Bumps [ts-node](https://github.com/TypeStrong/ts-node) from 10.2.1 to 10.4.0. - [Release notes](https://github.com/TypeStrong/ts-node/releases) - [Commits](https://github.com/TypeStrong... push web-flow travis-ci-com pending completion  
708 master build(deps-dev): bump @types/node from 16.10.2 to 16.11.6 (#216) Bumps [@types/node](https://github.com/DefinitelyTyped/DefinitelyTyped/tree/HEAD/types/node) from 16.10.2 to 16.11.6. - [Release notes](https://github.com/DefinitelyTyped/Definitel... push web-flow travis-ci-com pending completion  
707 master build(deps-dev): bump @typescript-eslint/eslint-plugin (#217) Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 4.32.0 to 4.33.0. - [Release notes](https://gith... push web-flow travis-ci-com pending completion  
706 master build(deps-dev): bump typedoc from 0.22.4 to 0.22.7 (#219) Bumps [typedoc](https://github.com/TypeStrong/TypeDoc) from 0.22.4 to 0.22.7. - [Release notes](https://github.com/TypeStrong/TypeDoc/releases) - [Changelog](https://github.com/TypeStro... push web-flow travis-ci-com pending completion  
705 master build(deps-dev): bump typescript from 4.4.3 to 4.4.4 (#220) Bumps [typescript](https://github.com/Microsoft/TypeScript) from 4.4.3 to 4.4.4. - [Release notes](https://github.com/Microsoft/TypeScript/releases) - [Commits](https://github.com/Micr... push web-flow travis-ci-com pending completion  
704 master build(deps-dev): bump @typescript-eslint/parser from 4.32.0 to 4.33.0 (#218) Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 4.32.0 to 4.33.0. - [Release notes](https://git... push web-flow travis-ci-com pending completion  
See All Builds (737)