Up
–
frama-c-wp
»
Wp_gui
»
GuiConfig
» dp_chooser
Class
GuiConfig.dp_chooser
method
run :
unit
->
unit
Edit enabled provers