Some Value assert are not in the log file
ID0001426: This issue was created automatically from Mantis Issue 1426. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001426 | Frama-C | Plug-in > Eva | public | 2013-05-23 | 2013-05-30 |
| Reporter | Anne | Assigned To | yakobowski | Resolution | unable to reproduce |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Fluorine-20130401 | Target Version | - | Fixed in Version | - |
Description :
When running a value analysis, I usually redirect stdout in a file and use : grep warning val.log to analyze the results.
But I just remarked that some 'assert' are generated by Value (can see them in the GUI or in the '-report' results) but are not printed in the log file.
In my example, they are Assertion 'Value,is_nan_or_infinite' normally logged as: "warning: non-finite double value"
Additional Information :
Sorry : don't have time to build an example today. I'll try to do it later if you need it.