diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2026-08-30 18:08:55 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2026-09-01 07:58:04 +0200 |
| commit | b3285b3f5878d705fcbeb7165097b6623a02f553 (patch) | |
| tree | 6b08a1eb2e88eb0406979642c7f2b61547815fa8 /pbt/README.md | |
| parent | 966f532a61b34d187bfdeefed7617fbfb6f768ed (diff) | |
| download | lambda-nantes-b3285b3f5878d705fcbeb7165097b6623a02f553.tar.gz | |
Replace jest with vitest
This implies fixing some quirky modules import logic. Thanks to Claude
for fixing this whole s**t
Diffstat (limited to 'pbt/README.md')
| -rw-r--r-- | pbt/README.md | 12 |
1 files changed, 12 insertions, 0 deletions
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 |