krestenkrab/fractal_btree — pull request #2 by jlouis (2012-01-06 22:06:03+00:00)
Title: Statem test

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:

* We can create new FBTs up to a limit of 10. We won't create one already there.
* We can put in random data to a random FBT.

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.