stanford-oval / thingtalk / 1125 / 1

80%

master: 78%

push

travis-ci-com

Bump smtlib from 0.1.1 to 1.0.0

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>

4543 of 6090 branches covered (74.6%)

Branch coverage included in aggregate %.

8837 of 10618 relevant lines covered (83.23%)

822.33 hits per line