--- layout: fc_discuss_archives title: Message 67 from Frama-C-discuss on April 2010 ---
I have a very simple C file t.c which contains: int main() { int i = 0; return i; } When I run jessie on this, I get the following error: bash-3.2$ frama-c -jessie-analysis t.c Parsing [preprocessing] running gcc -C -E -I. -include C:\Frama-C\share\frama-c\jessie\j essie_prolog.h -dD t.c Cleaning unused parts Symbolic link Starting semantical analysis Starting Jessie translation Producing Jessie files in subdir t.jessie File t.jessie/t.jc written. File t.jessie/t.cloc written. Calling Jessie tool in subdir t.jessie File "t.jc", line 7, characters 18-19: syntax error Jessie subprocess failed: jessie -why-opt -split-user-conj -v -locs t.cloc t.jc What could be causing this? Thanks and Regards Ravi =====-----=====-----===== Notice: The information contained in this e-mail message and/or attachments to it may contain confidential or privileged information. If you are not the intended recipient, any dissemination, use, review, distribution, printing or copying of the information contained in this e-mail message and/or attachments to it are strictly prohibited. If you have received this communication in error, please notify us by reply e-mail or telephone and immediately and permanently delete the message and any attachments. Thank you -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100423/ecbfedc7/attachment.htm>