--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on January 2020 ---
Hello, The WP manual mentions on page 41 the option â-wp-msg-key â When I type âframa-c -wp-msg-key helpâ I get a list of roughly 40 arguments. Is there any documentation about the purpose of this option? Regards Jens -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20200116/7e09828e/attachment.html>