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