Logic_utils and Logic_const documentation ...
ID0000554: This issue was created automatically from Mantis Issue 554. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0000554 | Frama-C | Documentation | public | 2010-08-11 | 2016-06-21 |
Reporter | nstouls | Assigned To | signoles | Resolution | fixed |
Priority | low | Severity | trivial | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Carbon-20101201-beta1 |
Description :
The command : make doc
does not generate documentation for, at least, Logic_utils and Logic_const. It could be appreciate to have a complete documentation when making it.
Thanks, Nicolas.