rapidcheck
rapidcheck copied to clipboard
Don't require copy constructibility for models
This will require a separate isValid method for checking preconditions without ruining the model since we cannot save a pristine copy.