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.

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

Parallel state machine testing #98

Merged
merged 1 commit into from Jul 15, 2017

Conversation

Projects
None yet
3 participants
@jystic
Member

jystic commented Jul 15, 2017

This adds supports for parallel state machine testing. The shrinking could be vastly improved but it's at least a start.

I have rejigged some of the monad transformers because it now becomes useful to have a pure test which can be used in the post-condition for state machines.

screen shot 2017-07-15 at 2 04 25 pm

@charleso

This comment has been minimized.

Show comment
Hide comment
@charleso

charleso commented Jul 15, 2017

💯

@jystic

This comment has been minimized.

Show comment
Hide comment
@jystic

jystic Jul 15, 2017

Member

Possibly a better example, it's not a minimal shrink, but it does pretty clearly find that IncRef is not atomic:

screen shot 2017-07-15 at 2 27 19 pm

Member

jystic commented Jul 15, 2017

Possibly a better example, it's not a minimal shrink, but it does pretty clearly find that IncRef is not atomic:

screen shot 2017-07-15 at 2 27 19 pm

@jystic jystic merged commit b48b147 into master Jul 15, 2017

0 of 2 checks passed

continuous-integration/travis-ci/pr The Travis CI build is in progress
Details
continuous-integration/travis-ci/push The Travis CI build is in progress
Details

@jystic jystic deleted the topic/parallel branch Jul 15, 2017

prop_references_parallel =
withTests 1000 . withRetries 10 . property $ do
actions <- forAll $
Gen.parallel (Range.linear 1 50) (Range.linear 1 10) initialState [

This comment has been minimized.

@moodmosaic

moodmosaic Jul 15, 2017

Member

👍

@moodmosaic
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment