The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
Frama-C --version lacks \n
Minor but annoying detail:
$ frama-c --version
21.1 (Scandium)$