Mail Archive Home | sat4j-dev List | December 2006 Index
| <-- Date Index --> | <-- Thread Index --> |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
We got a Clover open source license from Cenqua for the SAT4J project.
SAT4J is also in Clover 2.0 beta program.
Clover 2.0 produces much detailed reports than version 1.3.
You can have an overview of the new report at:
http://www.sat4j.org/clover/
Note that the unit test results are now available from the code coverage
report.
Have fun,
Daniel
- --
Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
MCF, CRIL-CNRS FRE 2499, Universite d'Artois
http://www.cril.univ-artois.fr/~leberre
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)
Comment: Using GnuPG with Mandriva - http://enigmail.mozdev.org
iD8DBQFFfpuaqVioN+Yc2ggRApZnAKDLuQwkSAMPvdO1fiE22WJLQKpDEgCg3nLh
wKJzd5/BrHFpJwvTwbPUmjM=
=dGov
-----END PGP SIGNATURE-----
| <-- Date Index --> | <-- Thread Index --> |
Powered by MHonArc.
Copyright © 2006-2007, OW2 Consortium | contact | webmaster.