Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support for array invariants #143

Closed
jqno opened this issue May 15, 2016 · 2 comments
Closed

Support for array invariants #143

jqno opened this issue May 15, 2016 · 2 comments
Labels
accepted

Comments

@jqno
Copy link
Owner

jqno commented May 15, 2016

EqualsVerifier fails when equals asserts on a class invariant on the length of its array field.

See the discussion at https://groups.google.com/forum/#!topic/equalsverifier/lUJQZFQdU0w
jqno added a commit that referenced this issue May 15, 2016
@jqno
#143 Does a proper array copy
780d1c5
@jqno jqno added the accepted label May 15, 2016
@jqno
Copy link
Owner Author

jqno commented May 22, 2016

I've just released version 2.1, which fixes this.

@jqno jqno closed this as completed May 22, 2016
@ssoloff
Copy link

ssoloff commented May 25, 2016

I verified EV 2.1 works as expected with the example I used as the basis for my post to the mailing list. Thanks for the fix, Jan!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
accepted
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jqno @ssoloff