EVA analysis does not start with click on "Execution" button.
ID0002279: This issue was created automatically from Mantis Issue 2279. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002279 | Frama-C | Plug-in > Eva | public | 2017-02-10 | 2017-05-31 |
| Reporter | Max P. | Assigned To | yakobowski | Resolution | fixed |
| Priority | normal | Severity | tweak | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C 14-Silicon | Target Version | Frama-C 15-Phosphorus | Fixed in Version | Frama-C 15-Phosphorus |
Description :
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.
Steps To Reproduce :
- [Customize EVA analysis]
- Click on "Execution" button.
- Verify that analysis did not started.
- Select -val option.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information