search

indeedeng / mph-table

Immutable key/value store with efficient space utilization and fast reads. They are ideal for the use-case of tables built by batch processes and shipped to multiple servers.
http://engineering.indeedblog.com/blog/2018/02/indeed-mph/
Apache License 2.0
96 stars 19 forks source link

Improve coverage by varying the list size. #9

Closed jcoultas closed 1 year ago

jcoultas commented 2 years ago

This request includes a random selection of list size that favors smaller list to optimize test run time, but also includes a 1 in 5 change of picking a larger list size. The list size effects coverage of the underlying code.

I am a part of a research group at the University of Illinois Chicago that works towards novel methods to detect bugs in software projects. This project is identified as being a good candidate for application of our research method to improve coverage using property tests.

jcoultas commented 1 year ago

Code review requested for this PR - @DuaneOBrien

ashinn commented 1 year ago

LGTM, thanks!