Statem test #2

Merged
jlouis merged 4 commits from statem-test into master 2012-01-06 22:23:42 +00:00
jlouis commented 2012-01-06 22:06:03 +00:00 (Migrated from github.com)

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.

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.
krestenkrab commented 2012-01-06 22:25:44 +00:00 (Migrated from github.com)

Thanks Jesper!

Thanks Jesper!
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: greg/hanoidb#2
No description provided.