search

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.
MIT License
101 stars 14 forks source link

Print the SMT model to a file when running an external solver #365

Closed bmourad01 closed 2 years ago

bmourad01 commented 2 years ago

Might be useful for debugging.

fortunac commented 2 years ago

Looks good!