krestenkrab / hanoidb

Erlang LSM BTree Storage
Apache License 2.0
307 stars 58 forks source link

Statem test #2

Closed jlouis closed 12 years ago

jlouis commented 12 years ago

Ok, got a little bit of the way.

We now have a driver for maintaining a set of fractal_btrees. And we have a proper statem based test that uses the driver to control random commands. Currently the command set is severely limited:

Also, we provide some eunit stuff so make eunit or rebar eunit skip_deps=true will return something sensible.

While here, also provision for building dialyzer PLTs and likewise for dialyzer analysis. There's only a few warnings.

krestenkrab commented 12 years ago

Thanks Jesper!