3 commits

Author	SHA1	Message	Date
Matej Focko	9c3452f4b5	feat: factor out property based tests ... Signed-off-by: Matej Focko <mfocko@redhat.com>	2022-05-18 13:39:54 +02:00
Matej Focko	e50cca7a14	tests: generate AVL vs WAVL difference by contradiction ... Signed-off-by: Matej Focko <mfocko@redhat.com>	2022-05-07 15:40:10 +02:00
Matej Focko	db35a07738	feat: implement comparator for trees ... Signed-off-by: Matej Focko <mfocko@redhat.com>	2022-02-03 11:35:12 +01:00