basho/bitcask — pull request #80 by slfritchie (2013-03-05 21:10:41+00:00)
Title: Add ?IMPLIES(length(Ops) > 1, ...) to avoid legit model ambiguity

... in cases where the op list is too short to make a reasonable &
correct guess of behavior.

Use eqc:testing_time/2 for test length & EUnit timeout at 2x
testing time.