From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id 3E43B5D5
	for <caml-list@inbox.ocaml.org>; Tue, 27 Oct 2020 11:03:22 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.77,423,1596492000"; 
   d="scan'208";a="474497268"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 27 Oct 2020 12:03:18 +0100
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id CF311E0280; Tue, 27 Oct 2020 12:03:18 +0100 (CET)
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id F3461E01D2
	for <caml-list@sympa.inria.fr>; Tue, 27 Oct 2020 12:03:13 +0100 (CET)
X-IronPort-AV: E=Sophos;i="5.77,423,1596492000"; 
   d="scan'208";a="474497204"
Received: from 91-175-127-215.subs.proxad.net (HELO MacBook-Pro-5.local) ([91.175.127.215])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Oct 2020 12:02:53 +0100
To: OCaML Mailing List <caml-list@inria.fr>
From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
Message-ID: <fe45b7ee-428a-3c0d-61e7-3eff2d66dd76@inria.fr>
Date: Tue, 27 Oct 2020 12:02:52 +0100
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:68.0)
 Gecko/20100101 Thunderbird/68.12.1
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: fr
Content-Transfer-Encoding: 8bit
Subject: [Caml-list] [ANN] New release of Monolith (20201026)
Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
X-Loop: caml-list@inria.fr
X-Sequence: 18275
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2020-10/fe45b7ee-428a-3c0d-61e7-3eff2d66dd76%40inria.fr>


Dear OCaml users,

It is my pleasure to announce a major new release of Monolith.

   opam update && opam install monolith

Monolith offers facilities for testing an OCaml library (for instance, a 
data
structure implementation) by comparing it against a reference 
implementation.
It can be used to perform either random testing or fuzz testing. Fuzz 
testing
relies on the external tool afl-fuzz.

More information on Monolith is available here:

   https://gitlab.inria.fr/fpottier/monolith

and in the draft paper "Strong Automated Testing of OCaml Libraries":

   http://cambium.inria.fr/~fpottier/publis/pottier-monolith-2021.pdf

Happy hacking & testing,

--
François Pottier
francois.pottier@inria.fr
http://cambium.inria.fr/~fpottier/