Ocaml Frama-c预处理错误

我想对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.******* 

---

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

没有人能帮您解决错误。请添加您的代码。当我编写命令Frama-c helloworld.c时，我收到了这个错误