Statem test #3

Merged

jlouis merged 3 commits from statem-test into master

2012-01-07 00:19:35 +00:00

Author	SHA1	Message	Date
Jesper Louis Andersen	fcff982050	Utilize the new lookup of existing keys in PropEr. This patch implements another possible command: Lookup of keys that already exist in the tree somewhere. We use a dict as the test tool: the postcondition verifies that the value obtained from the fractal btree matches the one we put in the dict earlier.	2012-01-07 01:02:09 +01:00
Jesper Louis Andersen	fd87d7963a	Improve driver cleanup, implement lookup of existing keys. If we decide to stop the driver, we should not reply back before we have a clean state with all BTrees closed. Also, implement lookup of existing keys in the tree.	2012-01-07 01:00:31 +01:00
Jesper Louis Andersen	372a05619c	Improve the test stale btree removal. Also delete the "simple" Btree in between test runs so we have a clean slate of what is happening.	2012-01-07 00:58:57 +01:00

Author

SHA1

Message

Date

Jesper Louis Andersen

fcff982050

Utilize the new lookup of existing keys in PropEr.

This patch implements another possible command: Lookup of keys that
already exist in the tree somewhere. We use a dict as the test tool:
the postcondition verifies that the value obtained from the fractal
btree matches the one we put in the dict earlier.

2012-01-07 01:02:09 +01:00

Jesper Louis Andersen

fd87d7963a

Improve driver cleanup, implement lookup of existing keys.

If we decide to stop the driver, we should not reply back before we
have a clean state with all BTrees closed.

Also, implement lookup of existing keys in the tree.

2012-01-07 01:00:31 +01:00

Jesper Louis Andersen

372a05619c

Improve the test stale btree removal.

Also delete the "simple" Btree in between test runs so we have a clean
slate of what is happening.

2012-01-07 00:58:57 +01:00