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

Bump up SBV dependence to >=5.14 #19

Closed
LeventErkok opened this issue Jan 11, 2017 · 1 comment
Closed

Bump up SBV dependence to >=5.14 #19

LeventErkok opened this issue Jan 11, 2017 · 1 comment

Comments

@LeventErkok
Copy link
Owner

Due to nick8325/quickcheck#113; SBV <= 5.13 could be installed with a version of QuickCheck that makes SBV's quick-check only run 1 test in certain cases; which in turn impacts SBVPlugin.

The solution is to bump up version of SBV the plugin depends on to >=5.14; but that cannot really happen till that version of SBV is released. So, this is just a note to do that!
@LeventErkok LeventErkok changed the title Bump up SBV dependence to >5.14 Bump up SBV dependence to >=5.14 Jan 11, 2017
@LeventErkok
Copy link
Owner Author

Done!

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
@LeventErkok