Skip to content

GitLab

Open
Created by libguestfs@libguestfs

Frama-C --version lacks \n

Minor but annoying detail:

$ frama-c --version
21.1 (Scandium)$
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information