Up
–
frama-c-e-acsl
»
E_ACSL
» Main
Module
E_ACSL.Main
Register the plugin in the Frama-C kernel. Nothing is exported.