Frama-C Bug Tracking System

Frama-C - Roadmap

Frama-C - Frama-C 19-Potassium (Scheduled For Release 2019-05-30) View Issues ]
=================================================================
50%
- 0002418: [Documentation > manuals] Outdated -rte-all option in RTE manual (signoles) - acknowledged.
- 0002422: [Plug-in > E-ACSL] Can't use e-acsl on a dynamic library containing all the instrumentations (signoles) - confirmed.
- 0002433: [Plug-in > obfuscator] Obfuscator does not obfuscate argument name of function pointers (virgile) - resolved.
- 0002423: [Plug-in > report] option -report-csv doesn't work anymore ? (maroneze) - closed.

2 of 4 issue(s) resolved. Progress (50%).


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker