Contracts/DFCC: split conjunctions in loop invariants#8458

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:loop-invariants-conjunction-splittingtautschnig/cbmc:loop-invariants-conjunction-splittingCopy head branch name to clipboard