--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on June 2010 ---
> or even better, if you have ocamlopt, use instead: As you are probably new to OCaml, I meant to mention that the reason native compiled programs (with ocamlopt) are better is not only that they are faster but that they keep working if you install a new version of the runtime, unlike bytecode programs which only work with the exact version of the runtime they were compiled with. Pascal