Superfluous ';' in value analysis output
ID0000634: This issue was created automatically from Mantis Issue 634. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000634 | Frama-C | Plug-in > Eva | public | 2010-12-03 | 2014-02-12 |
| Reporter | yakobowski | Assigned To | pascal | Resolution | fixed |
| Priority | none | Severity | tweak | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | Frama-C Carbon-20101201-beta1 |
Description :
The pretty-printer for the Locations.Zone.t prints '; ' even after the last location, causing not so pretty outputs when the location contains a single zone. (This case is very frequent for Lmap_bitwise obtained outputs.) The attached patch corrects this.
Additional Information :
Will require to update our various manuals after being applied.