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.
|Plug-in > Eva
|unable to reproduce
|Fixed in Version
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.