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.

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

Quickcheck test for RTQ #169

Closed
wants to merge 2 commits into from
Closed

Quickcheck test for RTQ #169

wants to merge 2 commits into from

Conversation

bookshelfdave
Copy link
Contributor

This is @Vagabond's QC test for the repl RT queue.

The only real addition is setting the max # of bytes in the queue before starting to exercise q trimming.

Initially, I started down the path of keeping a shadow ETS table in the QC model, but the model ended up using most of the trimming code from the rtq to shadow the size of the queue. This did not seem ideal as the test was using the same code that it was testing. Now I only assert that the queue size is always <= max_bytes which is set upon test startup.

What else should this test include?

@Vagabond
Copy link

If trimming happens, if you don't apply the trim to the model, how can the expectation as to what the next item to be popped from the queue hold?

@ghost ghost assigned bookshelfdave Jan 22, 2013
@rzezeski rzezeski modified the milestones: 2.0-beta, 2.0 Mar 25, 2014
@bookshelfdave bookshelfdave removed their assignment Apr 11, 2014
@seancribbs seancribbs deleted the dip-bnw-rtq-eqc branch April 1, 2015 23:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants