Closed thpani closed 2 months ago
Flush SMT logs and SMT profiling logs before (check-sat), to prevent truncation of the log file while the solver is checking.
(check-sat)
I'm also slightly moving the existing flushLogs() in satOrTimeout() to mirror sat().
flushLogs()
satOrTimeout()
sat()
make fmt-fix
./unreleased/
Flush SMT logs and SMT profiling logs before
(check-sat), to prevent truncation of the log file while the solver is checking.I'm also slightly moving the existing
flushLogs()insatOrTimeout()to mirrorsat().make fmt-fix(or had formatting run automatically on all files edited)./unreleased/for any new functionality