Frama-C API - CfgGenerator
val dumper : Factory.setup -> Factory.driver -> Wpo.generatorval generator : Factory.setup -> Factory.driver -> Wpo.generator
Frama-C Frama-C CfgGeneratorval dumper : Factory.setup -> Factory.driver -> Wpo.generatorval generator : Factory.setup -> Factory.driver -> Wpo.generator