Impossible to pass option to jessie or why through jessie plugin
ID0000170: This issue was created automatically from Mantis Issue 170. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000170 | Frama-C | Documentation > manuals | public | 2009-06-29 | 2016-06-21 |
| Reporter | nsh | Assigned To | correnson | Resolution | fixed |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | Frama-C Beryllium-20090902 |
Description :
In Beryllium it's impossible to pass neigher jessie no why options
[shmyrev@gnome bin]$ ./frama-c -jessie -jessie-jc-opt -separation test.c
[kernel] error: option -jessie-jc-opt' requires a string as argument. [kernel] error: use ./frama-c -help' for more information.
The same issue with -jessie-why-opt
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information