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

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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information