From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 6B38C7EE88 for ; Sat, 30 Apr 2016 22:17:48 +0200 (CEST) IronPort-PHdr: 9a23:GLh8kRH5T0gj4oOXG6EwZ51GYnF86YWxBRYc798ds5kLTJ75o8ywAkXT6L1XgUPTWs2DsrQf27qQ4/CrADdeqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7D0q82YOl4WzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEzRLlcSTAnKHwd5cvxtBCFQxHcyGEbVzAzmxxGGQXJpDX9QoW55i7zsORn1SXcOcrqX5g9Qz+l9eFnRUm72288Kzcl/TSP2YRLh6VBrUf5qg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=manfred.lotz@arcor.de; spf=Pass smtp.mailfrom=gclci-caml-list@m.gmane.org; spf=Pass smtp.helo=postmaster@plane.gmane.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of manfred.lotz@arcor.de) identity=pra; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="manfred.lotz@arcor.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CxBQChESVXcwPlW1BeFoN1fbwagjqCeDqBJDsRAQEBAQEBAQERARczL0ESAYFZghUBBAEjBFcLCxoCBSECAg8uGhmIFAENDAEJswWLKQKFTXyFJYRMhAk0TII0glYFmBSBVYQniBIKgjWHAYVbjzE2gWIBC4IragEEgmeFEQEBAQ X-IPAS-Result: A0CxBQChESVXcwPlW1BeFoN1fbwagjqCeDqBJDsRAQEBAQEBAQERARczL0ESAYFZghUBBAEjBFcLCxoCBSECAg8uGhmIFAENDAEJswWLKQKFTXyFJYRMhAk0TII0glYFmBSBVYQniBIKgjWHAYVbjzE2gWIBC4IragEEgmeFEQEBAQ X-IronPort-AV: E=Sophos;i="5.24,558,1454972400"; d="scan'208";a="216477719" Received: from plane.gmane.org ([80.91.229.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 30 Apr 2016 22:17:47 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1awbKj-0006de-Hd for caml-list@inria.fr; Sat, 30 Apr 2016 22:17:45 +0200 Received: from p4fff3743.dip0.t-ipconnect.de ([79.255.55.67]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sat, 30 Apr 2016 22:17:45 +0200 Received: from manfred.lotz by p4fff3743.dip0.t-ipconnect.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sat, 30 Apr 2016 22:17:45 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Manfred Lotz Date: Sat, 30 Apr 2016 22:14:48 +0200 Message-ID: <20160430221448.0b0f487c@arcor.com> References: <20160403124655.GS24122@carty.lan> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: p4fff3743.dip0.t-ipconnect.de X-Newsreader: Claws Mail 3.13.2 (GTK+ 2.24.30; x86_64-redhat-linux-gnu) Subject: Re: [Caml-list] [ANN] qtest 2.2, merged with qcheck Hi Simon, Just started to play with qtest and when trying out things from here https://github.com/vincent-hugot/iTeML I got a an error saying that qcheck wasn't installed. No prob, I installed qcheck and all was fine. Question: Shouldn't qtest 2.2 have a dependency for qcheck in the opam package? --=20 Manfred On Sun, 3 Apr 2016 14:46:55 +0200 Simon Cruanes wrote: > Hello, >=20 > I'm very happy to announce that Qtest, a tool that allows one to write > tests in comments directly next to the tested functions > (originally developed for testing batteries-included), and QCheck, a > quickcheck clone I have been developing for a while, have been merged > in the release qtest-2.2. Qtest provides facilities to write both > unit tests (based on OUnit), as in >=20 > (*$T [1;2;3] =3D List.sort compare [3;2;1] *) >=20 > and quickcheck-like random tests, as in >=20 > (*$Q Q.(list int) (fun l -> sort l =3D sort (sort l)) *) >=20 > The support for random tests now relies upon qcheck. Our goal with > this merge is to provide both a tool for people who want to keep > tests as close as possible to their code (even for versions of OCaml > that do not support ppx), and a feature-full library for people who > prefer to keep their tests separate. >=20 > Documentation for qcheck (the library) can be found at > http://cedeela.fr/~simon/software/qcheck/ . > Documentation for qtest (the tool, and how to use it) can be found at > https://github.com/vincent-hugot/iTeML/blob/3bc5ecca75487771db512902d6e53= 3ab059b8e34/README.adoc >=20 > Note that this release breaks compatibility with the previous versions > of qcheck (mostly because the `'a arbitrary` type is now much richer, > packing together a random generator, a printer, a shrinking > functions=E2=80=A6). To upgrade tests from qcheck, it is easy to convert > a random generator into an `'a arbitrary` using `QCheck.make`. >=20 > For writing complex generators, Gabriel Scherer's library might be > useful: https://github.com/gasche/random-generator . >=20 > Cheers! >=20