Up
–
frama-c-slicing
»
Slicing
» Register
Module
Slicing.Register
Register the plugin in the Frama-C kernel. Nothing is exported.