Derive Arbitrary for enums with a single variant#3692

celinval merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

AlgebraicWolf:derive-single-variant-enumAlgebraicWolf/kani:derive-single-variant-enumCopy head branch name to clipboard