stanford-oval / thingtalk / 1129 / 2

78%

master: 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>

4544 of 6090 branches covered (74.61%)

Branch coverage included in aggregate %.

8838 of 10618 relevant lines covered (83.24%)

822.33 hits per line