libsmt.rs should return syntax error information using certain ErrorType

sushant94 / libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers

Apache License 2.0

16 stars 12 forks source link

libsmt.rs should return syntax error information using certain ErrorType #16

Open chinmaydd opened 7 years ago

chinmaydd commented 7 years ago

It currently only returns Unsat which does not really give the user much information. This is particularly useful for consumers other than those directly using the library(Eg.rune).