Previous
Up
Next
Module
Special_hooks
module
Special_hooks:
sig
..
end
Nothing is export: just register some special hooks for Frama-C.
Since
Beryllium-20090601-beta1
Consult the
Plugin Development Guide
for additional details.