From b3285b3f5878d705fcbeb7165097b6623a02f553 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Sun, 30 Aug 2026 18:08:55 +0200
Subject: Replace jest with vitest

This implies fixing some quirky modules import logic. Thanks to Claude
for fixing this whole s**t
---
 pbt/README.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'pbt/README.md')

diff --git a/pbt/README.md b/pbt/README.md
index 786740a..135f770 100644
--- a/pbt/README.md
+++ b/pbt/README.md
@@ -127,3 +127,15 @@ prop_table_are_matrices (Table rows) =
 ## Bricoler son framework de PBT
 
 Voir [ts](ts/README.md)
+
+## Shrinking
+
+* https://hypothesis.works/articles/how-hypothesis-works/
+* https://hypothesis.works/articles/integrated-shrinking/
+* https://github.com/aiken-lang/fuzz/blob/main/lib/aiken/fuzz.ak
+* https://github.com/DRMacIver/minithesis/blob/master/minithesis.py
+
+## Coverage
+
+* https://stevana.github.io/coverage-guided_property-based_testing.html
+* https://lemonidas.github.io/pdf/FuzzChick.pdf
-- 
cgit v1.3.1