goto-symex: print status note and conditional warning for self-loops#6624

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:features/self-loop-status-outputtautschnig/cbmc:features/self-loop-status-outputCopy head branch name to clipboard