Help output: document that stop-on-fail implies trace#5662

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:stop-on-fail-help-msgtautschnig/cbmc:stop-on-fail-help-msgCopy head branch name to clipboard