stanford-oval / thingtalk / 1129

78%

push

travis-ci-com

Bump smtlib from 0.1.1 to 1.0.0 (#271)

Bumps [smtlib](https://github.com/stanford-oval/node-smtlib) from 0.1.1 to 1.0.0.
- [Release notes](https://github.com/stanford-oval/node-smtlib/releases)
- [Commits](https://github.com/stanford-oval/node-smtlib/compare/v0.1.1...v1.0.0)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>

Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com>

4547 of 6090 branches covered (74.66%)

Branch coverage included in aggregate %.

8840 of 10618 relevant lines covered (83.25%)

1644.66 hits per line