* [Caml-list] Kaputt 1.1 release
@ 2011-02-20 14:29 forum
0 siblings, 0 replies; only message in thread
From: forum @ 2011-02-20 14:29 UTC (permalink / raw)
To: caml-list users; +Cc: x9c
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-02-20 14:29 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-02-20 14:29 [Caml-list] Kaputt 1.1 release forum
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox