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