--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on January 2020 ---
Hello Jens, Le jeu. 16 janv. 2020 à 15:23, Gerlach, Jens < jens.gerlach at fokus.fraunhofer.de> a écrit : > 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? > > > For any plugin (and the kernel with -kernel-msg-key), this option enables the output of additional messages on the console during the analysis. Such messages are grouped into categories that can be enabled independently from each other (well in fact you can have a hierarchy, but WP does not make use of it). The name of these categories can be fed to -wp-msg-key. They are meant to be self-explanatory, even though this might not always be the case. When a category is activated (e.g. prover for things related to the provers), corresponding messages will start with [PLUGIN:CATEGORY], making them easier to spot. Finally, WP makes use of this mechanism to hide messages: when activated, the categories that begin with no- will prevent the corresponding messages to be output. As far as I know, it is the only plug-in that (ab)use the message category mechanism this way. Best regards, -- E tutto per oggi, a la prossima volta Virgile -------------- section suivante -------------- Une pièce jointe HTML a été nettoyée... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20200116/2e2bb2ef/attachment.html>