[Cryptominisat-devel] test results for Jan 12

Mate Soos soos.mate at gmail.com
Mer 12 Jan 20:48:24 CET 2011


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear Rob,

On 01/12/2011 08:44 PM, Robert Aston wrote:
>   FYI.   I just downloads the "master" tarball, the "fixed" tarball and
> the "extra" tarball.  Attached are the outputs from each run.  Note that
> the "master" version found the correct solution while the "fixed" and
> "extra" version did not.  All tests were run using the same CNF source file.

Could you please send me the  aes.crypto file, so that I could test this?

Thank you for the bug-testing!

Bests,

Mate

- -- 
Mate Soos
Security Research Labs
http://www.srlabs.de
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk0uBYgACgkQsTOOstKb0jlg/QCfZAm3H4BwG0HBsst4lYg1bczx
L1EAn39uhaWIqH+zAAUf4qLdERp7gnH3
=ChH6
-----END PGP SIGNATURE-----



More information about the Cryptominisat-devel mailing list