13 lines
243 B
Markdown
13 lines
243 B
Markdown
|
# WAVL Tree Implementation
|
||
|
|
|
||
|
|
## Used dependencies
|
||
|
|
|
||
|
|
Dependencies are used mainly in tests, namely:
|
||
|
|
|
||
|
|
- `hypothesis`
|
||
|
|
- `pytest`
|
||
|
|
|
||
|
|
## Running tests
|
||
|
|
|
||
|
|
When finding a counter-example, hypothesis may generate **a lot** of DOT files
|
||
|
|
with generated trees.
|