Up
–
frama-c
»
Analysis_scripts
»
List_functions
»
Self
»
Make_user_dir
» _
Parameter
Make_user_dir._
val
name : string