sci-mathematics/frama-c-aorai
Aorai (automaton annotations) plugin for frama-c
USE Flags
eva
* This flag is undocumented *
+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)