-
David Bühler authored
The current project must be initially empty. When the server is ready, the current project is set to the default Frama-C project. This project update triggers requests to be sent if needed.
f375ece8
The current project must be initially empty. When the server is ready, the current project is set to the default Frama-C project. This project update triggers requests to be sent if needed.