From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p1KEToJT030711 for ; Sun, 20 Feb 2011 15:29:50 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkUEAPuzYE0uaSyqi2dsb2JhbACmSQEBAQoLChgkuCmFXgQ X-IronPort-AV: E=Sophos;i="4.62,194,1297033200"; d="scan'208";a="88350379" Received: from 5.27.mail-out.ovh.net (HELO 27.mail-out.ovh.net) ([46.105.44.170]) by mail4-smtp-sop.national.inria.fr with SMTP; 20 Feb 2011 15:29:45 +0100 Received: (qmail 29788 invoked by uid 503); 20 Feb 2011 15:22:33 -0000 Received: from b6.ovh.net (HELO mail630.ha.ovh.net) (213.186.33.56) by 27.mail-out.ovh.net with SMTP; 20 Feb 2011 15:22:27 -0000 Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 20 Feb 2011 16:29:38 +0200 Received: from ip-22.net-82-216-3.versailles2.rev.numericable.fr (HELO ?192.168.0.10?) (forum%x9c.fr@82.216.3.22) by ns0.ovh.net with SMTP; 20 Feb 2011 16:29:38 +0200 From: "forum@x9c.fr" Content-Type: text/plain; charset=us-ascii Date: Sun, 20 Feb 2011 15:29:37 +0100 Message-Id: Cc: x9c To: caml-list users Mime-Version: 1.0 (Apple Message framework v1082) X-Mailer: Apple Mail (2.1082) X-Ovh-Tracer-Id: 2689211928853480224 X-Ovh-Remote: 82.216.3.22 (ip-22.net-82-216-3.versailles2.rev.numericable.fr) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Spam-Check: DONE|U 0.5/N Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p1KEToJT030711 Subject: [Caml-list] Kaputt 1.1 release Dear list, This post announces the 1.1 release of the Kaputt project, whose goal is to provide a comprehensive testing framework for the Objective Caml language. Home page: http://kaputt.x9c.fr Main changes since 1.0: - update for Objective Caml 3.12.0 - new build system (ocamlbuild-based) - assertion builders for data containers - generators for functions (both total and partial) - enumerators for file contents (chars, bytes, lines, and marshalled values) - additional shell commands, and possibility to configure shell syntax - enhanced big array, and big num support - fix for possible non-termination on unsatisfiable precondition - implementation of reduction (to try to produce smaller counterexamples) - bug #51: unportable use of 'which' - bug #57: tests fail on 64-bit platform Xavier Clerc