Frama-c预处理错误

Question

我想切片c代码，但是当我编写命令时，我会收到一些错误。

*******[15:18, 26.10.2017] Recep: [kernel] Parsing .opam/system/share/frama-c/libc/__fc_builtin_for_normalization.i (no preprocessing)

[kernel] user error: source file "helloworld.c" does not exist

[kernel] user error: stopping on file "helloworld.c" that has errors. Add 

'-kernel-msg-key pp'

                     for preprocessing command.

[kernel] Frama-C aborted: invalid user input.******* 

Answer 1

错误消息＆＃34;源文件＆＃34; helloworld.c＆＃34;不存在＆＃34;表示没有这样的文件，因此请确保它存在，并且可以由Frama-C找到，即它在您的工作（当前）目录中。