Frama-C API - DISK
val file_goal : pid:WpPropId.prop_id -> model:WpContext.model -> Why3.Driver.driver -> Why3Provers.t -> Frama_c_kernel.Filepath.t
Frama-C Frama-C DISKval file_goal : pid:WpPropId.prop_id -> model:WpContext.model -> Why3.Driver.driver -> Why3Provers.t -> Frama_c_kernel.Filepath.t