emil-e/rapidcheck

Is it possible to use RC_TAG or RC_CLASSIFY in the implementation of commands?

obfuscated opened this issue · 0 comments

I want to do two things:

  1. see the distribution of the commands
  2. see the distribution of the number of the commands per test run. In a particular example, I'm doing a circular buffer and I want to know how many tests execute more commands then the capacity of the buffer.

Using both RC_TAG or RC_CLASSIFY leads to a garbage stdout...