summaryrefslogtreecommitdiff
path: root/pbt
AgeCommit message (Collapse)Author
2025-12-02add simple classificationArnaud Bailly
2025-12-02disable auto linting after testsArnaud Bailly
2025-12-02fix copy/paste bugArnaud Bailly
2025-12-02introduce test (with a bug) using LevelDBArnaud Bailly
2025-12-02adapt Bank interface to asyncArnaud Bailly
2025-12-02Make property async awareArnaud Bailly
2025-12-01fix eslint errors and warningsArnaud Bailly
2025-12-01complete operations sequence testsArnaud Bailly
2025-12-01implement op sequence propertyArnaud Bailly
2025-12-01more checks on shrinkingArnaud Bailly
2025-11-29start simple bank exampleArnaud Bailly
2025-11-19Minor renamingArnaud Bailly
2025-11-19added stateful PBT kata from SW Crafters NantesArnaud Bailly
2025-11-15[pbt] expose simpler interface Property.runArnaud Bailly
2025-11-15[pbt] configure running tests w/ jestArnaud Bailly
2025-01-31Added example in Haskell and some more commentsArnaud Bailly
2025-01-26Move shared code to libraryArnaud Bailly
2025-01-26Add some more interesting links about PBTArnaud Bailly
2025-01-26Report reverse/reverse propertyArnaud Bailly
2025-01-26Improve array shrinkingArnaud Bailly
2025-01-25Added some 'interesting' properties about listsArnaud Bailly
These are the classical properties from Claessen and Hughes' paper. Shrinking is too expensive as it is so need to prune recursion tree.
2025-01-25Generate a random listArnaud Bailly
2025-01-25Start TS tiny PBT implementationArnaud Bailly
2025-01-25Introduce PBT workshopArnaud Bailly
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 06:59:16 +0000