Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000340Frama-CKernelpublic2009-11-23 10:582009-11-23 13:12
Assigned To 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090902 
Target VersionFixed in Version 
Summary0000340: Problem to give an option to Jc in command-line with -jessie-jc-opt
DescriptionAll the command-lines below produces (under Cygwin) the same error message: frama-c -jessie -jessie-jc-opt -verify credit purse.c frama-c -jessie -jessie-jc-opt "-verify credit" purse.c frama-c -jessie -jessie-jc-opt '-verify credit' purse.c [kernel] user error: option '-jessie-jc-opt' requires a string as argument
TagsNo tags attached.
Attached Filesc file icon purse.c [^] (124 bytes) 2009-11-23 10:58 [Show Content]

- Relationships
duplicate of 0000170closedcorrenson Impossible to pass option to jessie or why through jessie plugin 

-  Notes
signoles (manager)
2009-11-23 13:12

The right way to use this option is: $ frama-c -jessie -jessie-jc-opt=-verify credit purse.c See for details.

- Issue History
Date Modified Username Field Change
2009-11-23 10:58 nrousset New Issue
2009-11-23 10:58 nrousset File Added: purse.c
2009-11-23 13:10 signoles Relationship added duplicate of 0000170
2009-11-23 13:10 signoles Status new => closed
2009-11-23 13:10 signoles Resolution open => duplicate
2009-11-23 13:12 signoles Note Added: 0000568

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker