Support reporting reasons for solver responding with UNKNOWN

boogie-org / symbooglix

Symbolic Execution Engine for Boogie

MIT License

28 stars 4 forks source link

Support reporting reasons for solver responding with UNKNOWN #26

Open delcypher opened 7 years ago

delcypher commented 7 years ago

Right now if the solver times out this information is not communicated. We should provide an interface for getting this information and report when this happens to aid debugging.