sci-mathematics/frama-c-constant-folding
Constant folding plugin for frama-c
USE Flags
+ocamlopt
* This flag is undocumented *
ocamlopt
Global: Enables ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)