![]() |
1
0
仅使用命令行,我发现您的代码中存在一些问题:
我没有尝试GUI,但您说您的示例是:
|
![]() |
2
0
好的,现在我更正我的代码如下:
并添加以下断言:
如果我设置另一个断言:
然后我得到输出:
因此,正如我们预期的那样,断言是“未知”的,如果我们运行frama-c-gui,则项目符号是橙色的。 安妮,谢谢你的帮助。 |
![]() |
R. Fomba · Frama-C:如何仅获取行号 7 年前 |
![]() |
Laurent Guillaume · 数组指针断言 7 年前 |
![]() |
Yifan · 如何强制内存位置在ACSL中有效? 7 年前 |
|
seesharp · 使用Perl或MinGW或 9 年前 |