小编R. *_*mba的帖子

Frama-C:找到循环结束的位置

在以下示例代码中:

void kernel(int ni, int nj, int nk, float alpha, float *tmp, float *A, float *B) {
int i, j, k;
  for (i = 0; i < ni; i++) {
    for (j = 0; j < nj; j++) {
      tmp[i * nj + j] = 0.0f;
      for (k = 0; k < nk; ++k) {
        tmp[i * nj + j] += alpha * A[i * nk + k] * B[k * nj + j];
      }
    }
}
}
Run Code Online (Sandbox Code Playgroud)

我试图获得} …

c ocaml frama-c

1
推荐指数
1
解决办法
85
查看次数

标签 统计

c ×1

frama-c ×1

ocaml ×1