7 ms·I'm not sure if the QuickCheck people have explored these ideas, perhaps they'll chime in.by regehr 11y agoI'm not sure if the QuickCheck people have explored these ideas, perhaps they'll chime in.