--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on January 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c: WP issues



Hi,

I'm a new user of Frama-c. I got some issues when I used Frama-c with WP. I posted them on the stackoverflow.com; I list them here for your quick reference.

Any input on these issues is certainly appreciated.


1.       http://stackoverflow.com/questions/21069278/alt-ergo-signal-7

2.       http://stackoverflow.com/questions/21036098/wp-plugin-with-alt-ergo-unable-to-prove

Thanks a lot.

Best regards,
Dharma

Dr. Dharmalingam Ganesan, PhD
Senior Research Scientist
Fraunhofer Center for Experimental Software Engineering (CESE)
5825 University Research Court (Suite 1300)
College Park, Maryland 20740

Tel: 240 487 2915

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20140113/e88a6cbb/attachment.html>