Skip to content
GitLab
Explore
Sign in
pub
frama-c
Issues
#35
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