From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 377B17FADB for ; Tue, 4 Nov 2014 20:18:42 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of r.wobben@home.nl) identity=pra; client-ip=212.54.34.164; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="r.wobben@home.nl"; x-sender="r.wobben@home.nl"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of r.wobben@home.nl) identity=mailfrom; client-ip=212.54.34.164; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="r.wobben@home.nl"; x-sender="r.wobben@home.nl"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtpq1.gn.mail.iss.as9143.net) identity=helo; client-ip=212.54.34.164; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="r.wobben@home.nl"; x-sender="postmaster@smtpq1.gn.mail.iss.as9143.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApcBAKAlWVTUNiKknGdsb2JhbABb2loBgS4WAQEBAQERAQEBAQEGDQkJFC6EQUA9FhgDAgECAT8ZCAEBiEGpE6UEkS2ENQWTK4pch3SQIgELgiaDNgEBAQ X-IPAS-Result: ApcBAKAlWVTUNiKknGdsb2JhbABb2loBgS4WAQEBAQERAQEBAQEGDQkJFC6EQUA9FhgDAgECAT8ZCAEBiEGpE6UEkS2ENQWTK4pch3SQIgELgiaDNgEBAQ X-IronPort-AV: E=Sophos;i="5.07,314,1413237600"; d="scan'208";a="104762761" Received: from smtpq1.gn.mail.iss.as9143.net ([212.54.34.164]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Nov 2014 20:18:41 +0100 Received: from [212.54.34.135] (helo=smtp4.gn.mail.iss.as9143.net) by smtpq1.gn.mail.iss.as9143.net with esmtp (Exim 4.71) (envelope-from ) id 1Xljcn-00073r-43 for caml-list@inria.fr; Tue, 04 Nov 2014 20:18:41 +0100 Received: from 524acd6d.cm-4-3d.dynamic.ziggo.nl ([82.74.205.109] helo=[192.168.0.100]) by smtp4.gn.mail.iss.as9143.net with esmtp (Exim 4.71) (envelope-from ) id 1Xljcm-0001BS-VA for caml-list@inria.fr; Tue, 04 Nov 2014 20:18:41 +0100 Message-ID: <54592693.2040003@home.nl> Date: Tue, 04 Nov 2014 20:18:43 +0100 From: Roelof Wobben User-Agent: Mozilla/5.0 (Windows NT 6.1; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Ziggo-spambar: ---- X-Ziggo-spamscore: -4.4 X-Ziggo-spamreport: ALL_TRUSTED=-1,BAYES_00=-1.9,CM_META_TB_NOARR=0.5,PROLO_TRUST_RDNS=-3,RDNS_DYNAMIC=0.982 X-Ziggo-Spam-Status: No X-Spam-Flag: No X-Validation-by: r.wobben@home.nl Subject: [Caml-list] testing platform Hello, Does Ocaml has a testing platform where I can write test like this way I can do in clojure: (facts "about `pr134`" (fact "it normally return true if the key exist and the value is nil" (pr134 :a {:a nil :b 2}) => true (pr134 :b {:a nil :b 2}) => false (pr134 :c {:a nil :b 2}) => false )) Roelof