Copyright (C) 2019-2021 Clotilde Erard, Alain Giorgetti and Jérome Ricciardi.
AutoCheck is a random and enumerative testing tool for OCaml and WhyML.
Authors: Clotilde Erard, Alain Giorgetti and Jérome Ricciardi.
FEMTO-ST institute (UMR CNRS 6174)
Contact: alain.giorgetti AT femto-st.fr
https://github.com/alaingiorgetti/autocheck
This program is distributed under the GNU LGPL 3. See the enclosed file LICENSE.
See INSTALL.md.
The project documentation is accessible from the page https://alaingiorgetti.github.io/autocheck.
Copyright (C) 2019-2021 Clotilde Erard, Alain Giorgetti and Jérome Ricciardi.