Fix semantics of onehot0: at most one bit set - #9166

Fix semantics of onehot0: at most one bit set#9166

kroening merged 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:kiro/fix-onehot0tautschnig/cbmc:kiro/fix-onehot0Copy head branch name to clipboard