Module Frama_c_gui.Analyses_manager

Nothing exported. Automatic registration.