Ocaml Frama-c切片

我在MacOs上安装了带有opam的frama-c。我需要手动分割Hello World。我的意思是不要和桂在一起。我在网上搜索过，但我不明白怎么做。我的英语不够好。有人能帮我切片HelloWorld.c吗？

要从命令行启动Frama-c的切片，必须有一个解析的c文件和切片标准（返回代码、访问全局变量、语句等）。有关各种可用标准的说明，请参见

此外，如果要对语句进行切片，则必须使用具有以下语法的切片杂注：

/*@ slice pragma stmt; */
    Preserves the effects of the next statement. 
/*@ slice pragma expr e; */
    Preserves the value of the ACSL expression e at this control-flow point.

---

除非您准确描述您所做的工作（即源代码

HelloWorld.c

和Frama-c的已使用命令行），否则您将很难给出正确的答案。