how works the plug-in metrics?
ID0000583: This issue was created automatically from Mantis Issue 583. Further discussion may take place here.
|Plug-in > metrics
|no change required
|Fixed in Version
I'm interested in the structure of the file metrics.ml how does it work? it isn't possible to watch the source code of metrics.ml which is used in Frama-C. But for my analysation, i need to know why the framework Frama-C change the C-code in another C-code and then verify the changed code? I must verify the current C-code with all "switch, if, while, for, do while, ..." and let it print on the screen. Thanks, Jean-Pierre