Up
–
frama-c
»
Frama_c_kernel
» Special_hooks
Module
Frama_c_kernel.Special_hooks
Nothing is exported: just register some special hooks for Frama-C.
since
Beryllium-20090601-beta1