QuickCheck inspired property-based testing for OCaml.
- ocaml
- quickcheck
- random
- testing
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
47,133 repositories indexed
1–2 of 2 · Most stars
QuickCheck inspired property-based testing for OCaml.
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.