A framework for testing arbitrary systems, in OCaml. Inspired by Erlang/OTP's Common Test.