[CI] Setup continuous integration for libsmt

sushant94 / libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers

Apache License 2.0

16 stars 12 forks source link

Closed sushant94 closed 8 years ago

sushant94 commented 8 years ago

[x] Set up Travis and testing out SMTLIB2 implementation to work with atleast two popular SMT Solvers such as Z3 and CVC4.
[x] Set up coveralls.io to measure test coverage

sushant94 commented 8 years ago

Completed in 6cca6bf6b2434f2026d5c1a753abb9030380d0c4