--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on August 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C 15 Phosphorus is out



Hello,

Le 2017-08-11 à 22:19, Mehdi Dogguy a écrit :
>> - Bash and Zsh completion for Frama-C options
> Can you please clarify where are the completion scripts? I didn't find them
> in the tarball, but maybe I was looking at the wrong place.

You have -autocomplete option that gives following kind of output:
"""
Name:
  NO NAME
    Name: -kernel-config
    Name: -kernel-session
    Name: -kernel-share
    Name: -no-obj
    Name: -no-type
  Analysis Options
    Name: -absolute-valid-range
    Name: -const-readonly
    Name: -const-writable
[...]
"""

Though I don't know how it should be used.

Best regards,
david