Add is_empty_estimate/1 to PULSE model [JIRA: RIAK-2411] #71
Description
@jtuple's recent addition of the is_empty_estimate/1 function should be added to the QuickCheck + PULSE model. It's currently not exercised by the model.
{{ message }}
@jtuple's recent addition of the is_empty_estimate/1 function should be added to the QuickCheck + PULSE model. It's currently not exercised by the model.