automaton-build.tasks.impl.reports
Common reporting features.
save-report!
(save-report! report-content filename)
Save on disk the content of the report. If it is empty, the file is deleted.
Returns true
if the report wasn’t empty.
synthesis
(synthesis status)
Prints a synthesis line for status
.