SMT solver error timeout message added

runtimeverification / pyk

Python tools for the K Framework

BSD 3-Clause "New" or "Revised" License

13 stars 2 forks source link

SMT solver error timeout message added #1025

Closed ovatman closed 7 months ago

ovatman commented 7 months ago

This PR reflects changes in the runtimeverification/haskell-backend#3747 to pyk. When reporting SMTSolverError the cause is reported as an SMT timeout. In order to be able to report the current timeout parameter, we pass the exception within a new exception class CTermSMTError