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

Get rid of the model test dependency #31

Closed
vorner opened this issue Apr 18, 2020 · 0 comments
Closed

Get rid of the model test dependency #31

vorner opened this issue Apr 18, 2020 · 0 comments

Comments

@vorner
Copy link
Owner

vorner commented Apr 18, 2020

The model crate is nice and helps testing, but it hasn't been kept up to date and it relies on old proptest. It would be better to use proptest directly for the randomized tests to easy up future maintenance.
vorner added a commit that referenced this issue Apr 20, 2020
@vorner
Get rid of the model dependency
1b3c919 
Not really well maintained. Replace by manual code + get rid of the
linearizability test (it's not that useful and it would be complex to
replicate).

Closes #31.
@vorner vorner closed this as completed in e3f8538 Apr 21, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vorner