[SV-COMP'18 17/19] Add option not to transform self-loops into assumes#2006

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:opt-no-self-loopstautschnig/cbmc:opt-no-self-loopsCopy head branch name to clipboard