Skip to content

Cute boolean options too cute for their own good

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


Id Project Category View Due Date Updated
ID0001085 Frama-C Documentation public 2012-02-08 2016-06-21
Reporter pascal Assigned To signoles Resolution fixed
Priority normal Severity minor Reproducibility always
Platform - OS - OS Version -
Product Version - Target Version - Fixed in Version Frama-C Oxygen-20120901

Description :

$ bin/toplevel.opt -kernel-help Description: General options provided by the Frama-C kernel

Most options of the form '-option-name' and without any parameter have an opposite with the name '-no-option-name'.

***** LIST OF AVAILABLE OPTIONS:

*** ANALYSIS OPTIONS

... -safe-arrays for arrays that are fields inside structs, assume that accesses are in bounds (set by default) ...

There is no way to know that the option to unset this option is -unsafe-arrays

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