Wrong parameters processing

ID0000202: This issue was created automatically from Mantis Issue 202. Further discussion may take place here.

Id	Project	Category	View	Due Date	Updated
ID0000202	Frama-C	Kernel	public	2009-07-24	2014-02-12


Reporter	lukaszc	Assigned To	signoles	Resolution	no change required
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Beryllium-20090601-beta1	Target Version	-	Fixed in Version	Frama-C Beryllium-20090901

Description :

frama-c -help does not say anything about -no-constfold parameter. However, when I used "frama-c - no-constfold" there is no message that such a parameter does not exist.

On the other, hand it would be nice to have a parameter which allows to slice code without const folding.

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