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.