--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on January 2014 ---
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>