Unbound value Base.get_varinfo (Neon)
ID0001691: This issue was created automatically from Mantis Issue 1691. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001691 | Frama-C | Plug-in > Eva | public | 2014-03-13 | 2014-03-16 |
| Reporter | dpariente | Assigned To | yakobowski | Resolution | no change required |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | - |
Description :
[STANCE]
Base.get_varinfo disappeared from the API. What can replace it?