gazagnaire.org / ocaml-vlog
Cmdliner terms for ergonomic logging configuration
fork atom
ocaml-vlog / test / test_cli.mli
at main 8 lines 352 B view raw
1(*--------------------------------------------------------------------------- 2 Copyright (c) 2025 Thomas Gazagnaire. All rights reserved. 3 SPDX-License-Identifier: MIT 4 ---------------------------------------------------------------------------*) 5 6(** Test CLI executable for vlog cram tests. *) 7 8val suite : string * unit Alcotest.test_case list