Skip to content
This repository was archived by the owner on Mar 2, 2020. It is now read-only.

Test generated requests using many different scheduler seeds #21

Open
stevana opened this issue May 3, 2018 · 0 comments
Open

Test generated requests using many different scheduler seeds #21

stevana opened this issue May 3, 2018 · 0 comments

Comments

@stevana
Copy link
Contributor

stevana commented May 3, 2018

To keep program size down and catch race conditions we would like to schedule every bunch of requests we generate in many different ways. Something like forAll genRequests $ \reqs -> forAll arbitrary $ \seed -> ...

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant