私はちょうどOpamのパッケージマネージャからインストールしてビルドしました。frama-cウェブサイトのチュートリアルのバリュー分析の使い方を学んでいます。私は現在、builtin.cファイルを使用することができません。共有フォルダにはありません。また、-val-builtin（それが適切であれば）を使用する方法を理解することはできません。Frama-Cの値Builtins
これを行う方法に関するアイデアはありますか？
Frama-cの20151002リリースがインストールされました。
助けてくれてありがとう！
Frama_C_intervalのようなFrama-Cの "semi-builtins"は、Valueによって解析される実装をもはや必要としません。したがって、builtin.cのほとんどは削除され、残りは他のファイルにインライン展開されています。マニュアルに記載されているbuiltin.cのすべての言及は無視することができますが、代わりに__fc_builtin.hが含まれています。同様に、builtin.hは__fc_builtin.hに置き換えられました。 （ただし、この事実をユーザーに知らせるために警告が出されています）。これを明確にするため、Frama-Cアルミニウムのマニュアルを更新します。
どのバージョンを使用するかについては、マグネシウム（20151002）の使用を強くお勧めします。これまでに数多くの改良が行われてきました。
ああ、私は__fc_builtin.hを見つけましたが、そのファイルが正しいかどうかはわかりませんでした。ありがとう!! – Fratink
ubuntuパッケージにはこのファイルが含まれていますが、メインラインの20151002リリースでは表示されません。代わりにUbuntuリポジトリの2013リリースを使用し始めました。 – Fratink