stanford-oval / node-smtlib

71%

master: 74%

LAST BUILD ON BRANCH gcampax-patch-2

branch: gcampax-patch-2

CHANGE BRANCH

x

Reset

• gcampax-patch-2
• master
• greenkeeper/nyc-13.2.0
• greenkeeper/nyc-13.3.0
• greenkeeper/eslint-5.14.0
• greenkeeper/eslint-5.14.1
• greenkeeper/coveralls-3.0.3
• greenkeeper/eslint-5.15.0
• greenkeeper/eslint-5.15.1
• greenkeeper/eslint-5.15.2
• greenkeeper/eslint-5.15.3
• greenkeeper/eslint-5.16.0
• greenkeeper/nyc-14.0.0
• greenkeeper/nyc-14.1.0
• greenkeeper/nyc-14.1.1
• greenkeeper/coveralls-3.0.4
• greenkeeper/eslint-6.0.0
• greenkeeper/eslint-6.0.1
• greenkeeper/eslint-6.1.0
• greenkeeper/coveralls-3.0.6
• greenkeeper/eslint-6.2.0
• greenkeeper/eslint-6.2.1
• greenkeeper/eslint-6.2.2
• greenkeeper/eslint-6.3.0
• greenkeeper/eslint-6.4.0
• greenkeeper/eslint-6.5.0
• greenkeeper/eslint-6.5.1
• greenkeeper/coveralls-3.0.7
• greenkeeper/eslint-6.6.0
• greenkeeper/coveralls-3.0.8
• greenkeeper/eslint-6.7.0
• greenkeeper/eslint-6.7.1
• greenkeeper/coveralls-3.0.9
• greenkeeper/eslint-6.7.2
• greenkeeper/eslint-6.8.0
• greenkeeper/nyc-15.0.0
• greenkeeper/coveralls-3.0.10
• greenkeeper/coveralls-3.0.11
• greenkeeper/nyc-15.0.1
• greenkeeper/coveralls-3.0.12
• greenkeeper/coveralls-3.0.13
• greenkeeper/coveralls-3.0.14
• greenkeeper/coveralls-3.1.0
• dependabot/npm_and_yarn/acorn-6.4.1
• dependabot/npm_and_yarn/nyc-15.0.1
• dependabot/npm_and_yarn/eslint-utils-1.4.3
• dependabot/npm_and_yarn/coveralls-3.1.0
• dependabot/npm_and_yarn/eslint-7.2.0
• dependabot/npm_and_yarn/nyc-15.1.0
• dependabot/npm_and_yarn/eslint-7.3.0
• dependabot/npm_and_yarn/eslint-7.3.1
• dependabot/npm_and_yarn/eslint-7.4.0
• dependabot/npm_and_yarn/lodash-4.17.19
• dependabot/npm_and_yarn/eslint-7.5.0
• dependabot/npm_and_yarn/eslint-7.6.0
• dependabot/npm_and_yarn/eslint-7.7.0
• dependabot/npm_and_yarn/eslint-7.8.0
• dependabot/npm_and_yarn/eslint-7.8.1
• dependabot/npm_and_yarn/eslint-7.9.0
• dependabot/npm_and_yarn/eslint-7.10.0
• release
• v1.0.0
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.4.1
• dependabot/npm_and_yarn/typescript-eslint/parser-4.4.1
• dependabot/npm_and_yarn/types/node-14.11.10
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.5.0
• dependabot/npm_and_yarn/types/node-14.14.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.5.0
• dependabot/npm_and_yarn/types/node-14.14.2
• dependabot/npm_and_yarn/eslint-7.12.0
• dependabot/npm_and_yarn/types/node-14.14.3
• dependabot/npm_and_yarn/types/node-14.14.5
• dependabot/npm_and_yarn/typescript-eslint/parser-4.6.0
• dependabot/npm_and_yarn/eslint-7.12.1
• dependabot/npm_and_yarn/typescript-4.0.5
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.6.0
• dependabot/npm_and_yarn/types/node-14.14.6
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.6.1
• dependabot/npm_and_yarn/typescript-eslint/parser-4.6.1
• dependabot/npm_and_yarn/typescript-eslint/parser-4.9.0
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.9.0
• dependabot/npm_and_yarn/ts-node-9.1.0
• dependabot/npm_and_yarn/highlight.js-10.4.1
• dependabot/npm_and_yarn/eslint-7.16.0
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.11.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.11.0
• dependabot/npm_and_yarn/types/node-14.14.16
• dependabot/npm_and_yarn/typedoc-0.20.1
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.11.1
• dependabot/npm_and_yarn/typescript-eslint/parser-4.11.1
• dependabot/npm_and_yarn/ts-node-9.1.1
• dependabot/npm_and_yarn/typedoc-0.20.4
• dependabot/npm_and_yarn/typescript-4.1.3
• dependabot/npm_and_yarn/types/node-14.14.17
• dependabot/npm_and_yarn/typedoc-0.20.5
• dependabot/npm_and_yarn/typedoc-0.20.7
• dependabot/npm_and_yarn/types/node-14.14.19
• dependabot/npm_and_yarn/typedoc-0.20.10
• dependabot/npm_and_yarn/eslint-7.17.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.12.0
• dependabot/npm_and_yarn/types/node-14.14.20
• dependabot/npm_and_yarn/typedoc-0.20.12
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.12.0
• dependabot/npm_and_yarn/typedoc-0.20.13
• dependabot/npm_and_yarn/typedoc-0.20.14
• dependabot/npm_and_yarn/typescript-eslint/parser-4.13.0
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.13.0
• dependabot/npm_and_yarn/types/node-14.14.21
• dependabot/npm_and_yarn/typedoc-0.20.16
• dependabot/npm_and_yarn/eslint-7.18.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.14.0
• dependabot/npm_and_yarn/types/node-14.14.22
• dependabot/npm_and_yarn/typedoc-0.20.18
• dependabot/npm_and_yarn/typescript-eslint/parser-4.14.1
• dependabot/npm_and_yarn/typedoc-0.20.19
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.14.1
• dependabot/npm_and_yarn/eslint-7.19.0
• dependabot/npm_and_yarn/typedoc-0.20.20
• dependabot/npm_and_yarn/typescript-eslint/parser-4.14.2
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.14.2
• dependabot/npm_and_yarn/types/node-14.14.25
• dependabot/npm_and_yarn/typedoc-0.20.23
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.15.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.15.0
• dependabot/npm_and_yarn/typescript-4.1.4
• dependabot/npm_and_yarn/typedoc-0.20.24
• dependabot/npm_and_yarn/typescript-4.1.5
• dependabot/npm_and_yarn/types/node-14.14.27
• dependabot/npm_and_yarn/typedoc-0.20.25
• dependabot/npm_and_yarn/eslint-7.20.0
• dependabot/npm_and_yarn/types/node-14.14.28
• dependabot/npm_and_yarn/typescript-eslint/parser-4.15.1
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.15.1
• dependabot/npm_and_yarn/types/node-14.14.30
• dependabot/npm_and_yarn/typedoc-0.20.27
• dependabot/npm_and_yarn/types/node-14.14.31
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.15.2
• dependabot/npm_and_yarn/typedoc-0.20.28
• dependabot/npm_and_yarn/typescript-eslint/parser-4.15.2
• dependabot/npm_and_yarn/eslint-7.21.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.16.1
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.16.1
• dependabot/npm_and_yarn/typedoc-0.20.29
• dependabot/npm_and_yarn/typescript-4.2.3
• dependabot/npm_and_yarn/types/node-14.14.32
• dependabot/npm_and_yarn/typedoc-0.20.30
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.17.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.17.0
• dependabot/npm_and_yarn/types/node-14.14.33
• dependabot/npm_and_yarn/types/node-14.14.34
• dependabot/npm_and_yarn/eslint-7.22.0
• dependabot/npm_and_yarn/typedoc-0.20.32
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.18.0
• dependabot/npm_and_yarn/types/node-14.14.35
• dependabot/npm_and_yarn/typescript-eslint/parser-4.18.0
• dependabot/npm_and_yarn/typedoc-0.20.33
• dependabot/npm_and_yarn/typescript-eslint/parser-4.19.0
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.19.0
• dependabot/npm_and_yarn/typedoc-0.20.34
• dependabot/npm_and_yarn/types/node-14.14.36
• dependabot/npm_and_yarn/eslint-7.23.0
• dependabot/npm_and_yarn/types/node-14.14.37
• dependabot/npm_and_yarn/y18n-4.0.1
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.20.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.20.0
• dependabot/npm_and_yarn/typedoc-0.20.35
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.21.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.21.0
• dependabot/npm_and_yarn/typescript-4.2.4
• dependabot/npm_and_yarn/eslint-7.24.0
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.22.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.22.0
• dependabot/npm_and_yarn/types/node-14.14.39
• dependabot/npm_and_yarn/types/node-14.14.41
• dependabot/npm_and_yarn/typedoc-0.20.36
• dependabot/npm_and_yarn/eslint-7.25.0
• dependabot/npm_and_yarn/types/node-15.0.0
• dependabot/npm_and_yarn/types/node-15.0.1
• dependabot/add-v2-config-file
• dependabot/npm_and_yarn/typescript-eslint/parser-4.22.1
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.22.1
• dependabot/npm_and_yarn/types/node-15.0.2
• dependabot/npm_and_yarn/lodash-4.17.21
• dependabot/npm_and_yarn/eslint-7.26.0
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.23.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.23.0
• dependabot/npm_and_yarn/types/node-15.0.3
• dependabot/npm_and_yarn/types/node-15.3.0
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.24.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.24.0
• dependabot/npm_and_yarn/types/node-15.3.1
• dependabot/npm_and_yarn/types/node-15.6.0
• dependabot/npm_and_yarn/eslint-7.27.0
• dependabot/npm_and_yarn/ts-node-10.0.0
• dependabot/npm_and_yarn/types/node-15.6.1
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.25.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.25.0
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.26.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.26.0
• dependabot/npm_and_yarn/glob-parent-5.1.2
• dependabot/npm_and_yarn/eslint-7.29.0
• dependabot/npm_and_yarn/coveralls-3.1.1
• dependabot/npm_and_yarn/typedoc-0.21.2
• dependabot/npm_and_yarn/types/node-15.12.5
• dependabot/npm_and_yarn/typescript-eslint/parser-4.28.1
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.28.1
• dependabot/npm_and_yarn/ts-node-10.1.0
• dependabot/npm_and_yarn/typedoc-0.21.5
• dependabot/npm_and_yarn/types/node-16.4.10
• dependabot/npm_and_yarn/typescript-eslint/parser-4.28.5
• dependabot/npm_and_yarn/typescript-4.3.5
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.28.5
• dependabot/npm_and_yarn/types/byline-4.2.33
• dependabot/npm_and_yarn/eslint-7.32.0
• dependabot/npm_and_yarn/path-parse-1.0.7
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.30.0
• dependabot/npm_and_yarn/ts-node-10.2.1
• dependabot/npm_and_yarn/typedoc-0.21.9
• dependabot/npm_and_yarn/types/node-16.7.10
• dependabot/npm_and_yarn/typescript-eslint/parser-4.30.0
• dependabot/npm_and_yarn/typescript-4.4.3
• dependabot/npm_and_yarn/source-map-support-0.5.20
• dependabot/npm_and_yarn/types/node-16.10.2
• dependabot/npm_and_yarn/typedoc-0.22.4
• dependabot/npm_and_yarn/typescript-eslint/parser-4.32.0
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.32.0
• dependabot/npm_and_yarn/ansi-regex-5.0.1
• dependabot/npm_and_yarn/ts-node-10.4.0
• dependabot/npm_and_yarn/types/node-16.11.6
• dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-4.33.0
• dependabot/npm_and_yarn/typescript-eslint/parser-4.33.0
• dependabot/npm_and_yarn/typedoc-0.22.7
• dependabot/npm_and_yarn/typescript-4.4.4
• dependabot/npm_and_yarn/typedoc-0.22.10
• dependabot/npm_and_yarn/source-map-support-0.5.21
• dependabot/npm_and_yarn/types/node-16.11.11
• dependabot/npm_and_yarn/typescript-4.5.4
• dependabot/npm_and_yarn/types/node-17.0.5
• dependabot/npm_and_yarn/istanbuljs/nyc-config-typescript-1.0.2
• dependabot/npm_and_yarn/types/node-17.0.14
• dependabot/npm_and_yarn/typescript-4.5.5
• dependabot/npm_and_yarn/typedoc-0.22.11
• dependabot/npm_and_yarn/types/node-17.0.21
• dependabot/npm_and_yarn/ts-node-10.5.0
• dependabot/npm_and_yarn/typedoc-0.22.12
• dependabot/npm_and_yarn/minimist-1.2.6
• dependabot/npm_and_yarn/typedoc-0.22.13
• dependabot/npm_and_yarn/ts-node-10.7.0
• dependabot/npm_and_yarn/types/node-17.0.23
• dependabot/npm_and_yarn/types/node-17.0.30
• dependabot/npm_and_yarn/typedoc-0.22.15
• dependabot/npm_and_yarn/ts-node-10.8.0
• dependabot/npm_and_yarn/typedoc-0.22.17
• dependabot/npm_and_yarn/types/node-17.0.38
• dependabot/npm_and_yarn/typedoc-0.22.18
• dependabot/npm_and_yarn/ts-node-10.8.1
• dependabot/npm_and_yarn/types/node-18.0.0
• dependabot/npm_and_yarn/ts-node-10.9.1
• dependabot/npm_and_yarn/types/node-18.6.3
• dependabot/npm_and_yarn/types/node-18.7.14
• dependabot/npm_and_yarn/types/node-18.7.23
• dependabot/npm_and_yarn/types/node-18.11.9
• dependabot/npm_and_yarn/types/node-18.11.10
• dependabot/npm_and_yarn/qs-6.5.3
• dependabot/npm_and_yarn/types/node-18.11.18
• dependabot/npm_and_yarn/json5-2.2.3

Build # 14

Build Type

Pull #3

travis-ci-com

Committed by web-flow

Commit Message

More lint issues

Pull Request Pull Request #3: More lint issues

Run Details

19 of 28 branches covered (67.86%)

Branch coverage included in aggregate %.

83 of 116 relevant lines covered (71.55%)

4.02 hits per line