I want to slice ac code but when I write the commands I get some errors which are down.
*******[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找到,即它在您的工作中(当前)目录。
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.