Frama-c 預處理錯誤

Question

我想對 ac 代碼進行切片，但是當我編寫命令時，我遇到了一些錯誤。

*******[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

錯誤信息“源文件“helloworld.c”不存在”表示不存在這樣的文件，因此請確保它存在，並且可以被Frama-C找到，即它在您的工作中（當前）目錄。