Code

Develop 3.0 fix eqc#961

Code

Closed

ThomasArts wants to merge 3 commits intobasho:develop-3.0basho/riak_core:develop-3.0from Quviq:develop-3.0-fix-eqcQuviq/riak_core:develop-3.0-fix-eqcCopy head branch name to clipboard

+15-7

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