florianschanda/smtlib_schanda

Request for the report_*.txt output

Closed this issue · 1 comments

Please can we have errors that contain the string "FLOATINGPOINT_TO_REAL_TOTAL" and "to_fp" separated from those than don't?