--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on October 2015 ---
Hi, I was wondering if it would be possible to verify the math of the BN library in OpenSSL. So I tried a little test program to see what would happen. I was actually kind of expecting it not to work, and it seems to be unable to prove it. Is this something I should be able to get working? I've attached a simple test program I was trying with. Kurt -------------- next part -------------- A non-text attachment was scrubbed... Name: bn_add.c Type: text/x-csrc Size: 1761 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20151024/2eba9282/attachment.c>