how works the plug-in metrics?
ID0000583: This issue was created automatically from Mantis Issue 583. Further discussion may take place here.
|ID0000583||Frama-C||Plug-in > metrics||public||2010-09-13||2010-09-15|
|Reporter||fsd||Assigned To||monate||Resolution||no change required|
|Product Version||Frama-C Boron-20100401||Target Version||-||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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information