owi icon indicating copy to clipboard operation
owi copied to clipboard
verified publisher icon OCamlPro

print the smtlib request sent to SMT in debug mode

Open redianthus opened this issue 8 months ago • 1 comments

redianthus avatar Apr 28 '25 12:04 redianthus

Yes that would be useful! Notably when there is a crash/error that happens either in smtml or the in smt-solver, having the smt file or a file in the smtml format would make debugging easier.

hra687261 avatar Apr 28 '25 15:04 hra687261