Frama-C API - DISK
val file_goal : pid:WpPropId.prop_id -> model:WpContext.model -> prover:VCS.prover -> Frama_c_kernel.Filepath.Normalized.t
Frama-C Frama-C DISKval file_goal : pid:WpPropId.prop_id -> model:WpContext.model -> prover:VCS.prover -> Frama_c_kernel.Filepath.Normalized.t