Frama-C API - Project_manager
No function is exported. Extension of the GUI in order to support project switching.
Frama-C Frama-C Project_managerNo function is exported. Extension of the GUI in order to support project switching.