Warn when --outfile produces an empty formula#8949

tautschnig wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:empty-outfile-warningtautschnig/cbmc:empty-outfile-warningCopy head branch name to clipboard