Skip to content
  • Vivien Kraus's avatar
    Define a shortcut for frama-c · b878415e
    Vivien Kraus authored
    Frama-c does not know about =_Alignof=, because this is detected as a
    compiler built-in.  I have not found any way more elegant than that.
    b878415e