Randomized Testing and QCheck | OCaml Programming | Chapter 6 Video 19

preview_player
Показать описание
QCheck is an automated tool for randomized property-based testing of OCaml programs.

Рекомендации по теме
Комментарии
Автор

And for Coq similar library called QuickChick, and for Haskell Quickcheck

NatashaKlausHi