3 ms·Oh, yes, agreed that proptest is way more viable here and probably a good solution to pair with miri.by staticassertion 8y agoOh, yes, agreed that proptest is way more viable here and probably a good solution to pair with miri.