Frama-C Bug Tracking System - Frama-C
View Issue Details
0002279Frama-CPlug-in > Evapublic2017-02-10 11:272017-05-31 19:05
Max P. 
Frama-C 14-Silicon 
Frama-C 15-PhosphorusFrama-C 15-Phosphorus 
0002279: EVA analysis does not start with click on "Execution" button.
EVA analysis does not start with click on "Execution" button. But if select -val option it does it. User have to click on "Run" button to start EVA analysis. This is unusual behavior.
1. [Customize EVA analysis] 2. Click on "Execution" button. 3. Verify that analysis did not started. 4. Select -val option.
No tags attached.
Issue History
2017-02-10 11:27Max P.New Issue
2017-02-10 11:27Max P.Statusnew => assigned
2017-02-10 11:27Max P.Assigned To => yakobowski
2017-02-10 11:32Max P.Note Added: 0006357
2017-02-20 11:34yakobowskiNote Added: 0006360
2017-03-06 11:36yakobowskiTarget Version => Frama-C 15-Phosphorus
2017-03-07 23:53yakobowskiStatusassigned => resolved
2017-03-07 23:53yakobowskiResolutionopen => fixed
2017-05-31 19:04signolesFixed in Version => Frama-C 15-Phosphorus
2017-05-31 19:05signolesStatusresolved => closed
2018-01-12 14:26signolesCategoryPlug-in > value analysis => Plug-in > Eva

Max P.   
2017-02-10 11:32   
I forgot to add a step: 5. Click on "Execution" button.
2017-02-20 11:34   
This is by design, although I see why this might be misleading. The -eva option will disappear in the next version of Frama-C (because it won't be possible to deactivate it), so only the -val option will remain in the GUI. Thanks for the feedback, though.