Code

QuickCheck improvements#962

Code

Merged

martinsumner merged 4 commits intobasho:develop-3.0basho/riak_core:develop-3.0from Quviq:develop-3.0Quviq/riak_core:develop-3.0Copy head branch name to clipboardMay 12, 2020

+15-9

Commits

Commits on May 8, 2020

• When using asserts and other Eunit related functions, TEST must be defined

  ThomasArts

  committed
  0c73845

Commits on May 9, 2020

• Add eqc as Makefile target

  ThomasArts

  committed
  9b28d78

• Run claim test by giving a possible initial state

  ThomasArts

  committed
  3fcb0c2

Commits on May 12, 2020

• No need for TEST macro in eqc directory

  ThomasArts

  committed
  b0b6783