我无法使用Frama-c打开任何.C文件，只能接收＆＃34;无效的用户输入＆＃34;错误

Question

我是Frama-c的新手，对编程很新。我在Mac上安装了Frama-C。我正在使用OSX。从命令行我输入Frama-C-Gui，它打开正常，我选择＆＃34; New Project＆＃34; Frama-C GUI then adding a new Project

我浏览我的文件，然后选择我非常简单的.C文件，但是当我选择它时，我收到一条错误说：

＆＃34; Frama-C aborter：用户输入无效。恢复到以前的状态。查看控制台以获取更多信息（如果有的话）。＆＃34;

Frama-C Gui with error message

我的文件非常简单，只是下面的循环：

for (int j=-100;j<=100;j++){i=j;
    while (i!=0){i=i+2; x=x-5; y=y-y/x;}}

有关如何成功运行文件的任何帮助都将非常感谢！

Answer 1

也许一个完整的C程序可以让你更进一步。对于给定的循环，请将其保存在foo.c中，最好使用小写.c。

int main(void) {
    int i, x = 0, y = 0;

    for (int j = -100; j <= 100; j++) {
         i = j;
         while (i != 0) {
              i = i + 2;
              x = x - 5;
              y = y - y / x;
         }
    }
    return 0;
}