Does it help with code coverage?

Yes, it provides the necessary Dune configurations and commands to run tests with bisect_ppx for tracking code coverage.

What testing frameworks does this skill support?

This skill primarily focuses on Alcotest for unit and library testing, and Cram tests for end-to-end or CLI-based integration testing.

How does it organize test files?

It follows a strict convention where every 'lib/foo.ml' file has a corresponding 'test/test_foo.ml' file, all aggregated by a central 'test/test.ml' runner.

Can I use this for asynchronous OCaml code?

Yes, it specifically includes patterns for testing Eio-based libraries using Eio_mock for deterministic and fast execution of concurrent code.

OCaml Testing Suite

Name: OCaml Testing Suite
Author: avsm

byavsm

•

Security & Testing

Implements comprehensive testing strategies for OCaml libraries using Alcotest, Eio mocks, and Cram integration tests.

About

The ocaml-testing skill equips Claude with the specialized knowledge required to build and maintain high-quality OCaml test suites. It focuses on a 'unit tests first' philosophy, enforcing a standardized 1:1 mapping between library modules and test files while providing deep support for Alcotest and deterministic I/O testing via Eio mocks. Whether you are building CLI tools with Cram tests or complex concurrent systems, this skill ensures your OCaml projects follow industry best practices for structure, naming, and coverage.

Key Features

End-to-end CLI validation using Cram integration tests
Dune configuration management for testing and coverage
Deterministic I/O testing patterns using Eio mocks
Automated Alcotest suite and test case generation
13 GitHub stars
Standardized project structure for library and test modules

Use Cases

Developing unit tests for new OCaml library modules with 1:1 coverage
Setting up regression testing for OCaml-based command line interfaces
Mocking complex I/O behaviors like network or filesystem calls in Eio

About

Key Features

End-to-end CLI validation using Cram integration tests
Dune configuration management for testing and coverage
Deterministic I/O testing patterns using Eio mocks
Automated Alcotest suite and test case generation
13 GitHub stars
Standardized project structure for library and test modules

Use Cases

Developing unit tests for new OCaml library modules with 1:1 coverage
Setting up regression testing for OCaml-based command line interfaces
Mocking complex I/O behaviors like network or filesystem calls in Eio