From 33f820f8de3717c56b2ea47aff7d9704ea1eb945 Mon Sep 17 00:00:00 2001 From: Matej Focko Date: Wed, 18 May 2022 22:30:41 +0200 Subject: [PATCH] chore: add readme Signed-off-by: Matej Focko --- README.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..1196787 --- /dev/null +++ b/README.md @@ -0,0 +1,13 @@ +# 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. \ No newline at end of file