Superfluous ';' in value analysis output
ID0000634: This issue was created automatically from Mantis Issue 634. Further discussion may take place here.
|ID0000634||Frama-C||Plug-in > Eva||public||2010-12-03||2014-02-12|
|Product Version||Frama-C Boron-20100401||Target Version||-||Fixed in Version||Frama-C Carbon-20101201-beta1|
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information