代码之家 › 专栏 › 技术社区 › Lukas Bell

我一个也打不开。带有Frama-C的C文件,仅接收“无效用户输入”错误

frama-c

0

Lukas Bell · 技术社区 · 7 年前

我是Frama-c的新手,对一般编程也很陌生。我在Mac上安装了Frama-C。我正在使用OSX。从命令行中,我输入Frama-C-Gui,它会很好地打开,此时我选择“新建项目” Frama-C GUI then adding a new Project

我浏览我的文件,然后选择我的“非常简单”。然而,当我选择C文件时,我收到一个错误,说:

“Frama-C中止程序:用户输入无效。正在恢复到以前的状态。有关其他信息,请查看控制台(如果有)。”

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;}}

任何关于如何在这里成功运行文件的帮助都将不胜感激!

1 回复 | 直到 7 年前

1

2

Jens 7 年前

也许一个完整的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;
}