私は Frama-c の新しいユーザーです。Neon-20140301 をインストールしたばかりで、Ocaml コンパイラ 4.01.0 を使用して Fedora 14 システムに 2.34 をインストールしたのはなぜですか。
非 GUI モードで、インストールは成功しました。
しかし、why2.34 からいくつかの例を実行しようとすると、次のようないくつかのエラーが発生しました: 互換性の問題があるようです。
[user /data/Down/why-2.34/examples-c/sorting]$ frama-c -jessie selection.c
[kernel] preprocessing with "gcc -C -E -I. -dD selection.c"
selection.c:4:[kernel] user error: unexpected token ''
[kernel] user error: skipping file "selection.c" that has errors.
[kernel] Frama-C aborted: invalid user input.
[user /data/Down/why-2.34/examples-c/sorting]$ cat selection.c
/* Selection sort */
//@ type intmset
//@ logic intmset mset(int t[],int i,int j) reads t[..]