search

sushant94 / libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers
Apache License 2.0
16 stars 12 forks source link

Rust 2018 fixes #22

Closed XVilka closed 5 years ago

chinmaydd commented 5 years ago

Interesting why that should fail (and only on beta nonetheless)

XVilka commented 5 years ago

@chinmaydd most likely Travis own problems:

No output has been received in the last 10m0s, this potentially indicates a stalled build or something wrong with the build itself.
Check the details on how to adjust your build configuration on: https://docs.travis-ci.com/user/common-build-problems/#Build-times-out-because-no-output-was-received
The build has been terminated

Try to rerun it.

chinmaydd commented 5 years ago

Seems like that was the problem. PR looks good to me. I can merge it unless you are waiting on @sushant94's review ?

XVilka commented 5 years ago

@chinmaydd please do merge, yes.